sub:assertion {
sub:paragraph c4o:hasContent "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)." ;
a doco:Paragraph .
}