?(String). ⊕{ok : &{Sindaco : ?(String). ⊕{ok : ![Integer].end,
                                              no : !end
                                              }
                                    
                        Giunta : ?(String).?(String). ⊕{ok : ![Integer].end,
                                                        no : !end
                                                         }
                  wrong : end,
                  }