classassertion(p01 Person)
classassertion(p02 Person)
classassertion(p03 Person)
classassertion(c01 City)
classassertion(g01 Played)
classassertion(g02 Played)
classassertion(g03 Played)
classassertion(g04 Played)
classassertion(g05 Played)
classassertion(w01 Wheel)
classassertion(w02 Wheel)
classassertion(w03 Wheel)


classassertion(es1 AlreadyExtraction)
classassertion(es2 AlreadyExtraction)
classassertion(e01 Extraction)
classassertion(e02 Extraction)

 
objectPropertyAssertion(Executor es1 p01)
objectPropertyAssertion(Executor es2 p02)
objectPropertyAssertion(Born p01 c01)
objectPropertyAssertion(TakePlace es1 c01)
objectPropertyAssertion(Do g01 p02)
objectPropertyAssertion(Do g02 p02)
objectPropertyAssertion(Do g03 p01)
objectPropertyAssertion(Do g04 p01)
objectPropertyAssertion(Do g05 p01)
objectPropertyAssertion(Object g01 e02)
objectPropertyAssertion(Object g02 e02)
objectPropertyAssertion(Object g03 e01)
objectPropertyAssertion(Object g04 e01)
objectPropertyAssertion(Object g05 e01)
objectPropertyAssertion(Compote e01 w01)
objectPropertyAssertion(Compote e01 w02)
objectPropertyAssertion(Compote e01 w03)
objectPropertyAssertion(Compote e02 w01)
objectPropertyAssertion(Compote e02 w02)
objectPropertyAssertion(Relatively g03 w01)
objectPropertyAssertion(Relatively g04 w02)
objectPropertyAssertion(Relatively g05 w03)
objectPropertyAssertion(Relatively g01 w01)
objectPropertyAssertion(Relatively g02 w02)

dataPropertyAssertion(dataEx e01 2003-01-01)
dataPropertyAssertion(dataEx e02 2008-01-01)
dataPropertyAssertion(dataEx es1 2003-01-02)
dataPropertyAssertion(dataEx es2 2004-01-01)

dataPropertyAssertion(name p01 Emma)
dataPropertyAssertion(surname p01 CognomeDiEmma)
dataPropertyAssertion(name p02 Roberto)
dataPropertyAssertion(surname p02 CognomeDiRoberto)
dataPropertyAssertion(name p03 Flavio)
dataPropertyAssertion(surname p03 CognomeDiFlavio)
dataPropertyAssertion(amount g01 11)
dataPropertyAssertion(amount g02 14)
dataPropertyAssertion(amount g03 2)