. . . . "As aforesaid, we assumed that two spaces are connected if and only if they share a door. This property spaceConnectedTo could be obtained from queries but its quite complex, therefore it was decided to formulate a rule to obtain this property (see Listing 1)." . . . . "2019-11-12T18:05:11+01:00"^^ . .