sub:assertion {
  sub:paragraph c4o:hasContent "Examples of DL-safe rules implemented in the WiseNET ontology are presented in Listing 1 and Listing 2. The first one states that if there are two spaces ’x’ and ’y’, and both contain the door ’d’, then those spaces are connected to each other. The second one states that if there are two spaces ’x’ and ’y’, and two smart cameras ’s1’ and ’s2’, and ’x’ is connected to ’y’, and ’s1’ is located in ’x’ and ’s2’ is located in ’y’, then those smart cameras are nearby each other." ;
    a doco:Paragraph .
}