diff --git a/SolarSystem-20231005/SolarSystem.sentence.txt b/SolarSystem-20231005/SolarSystem.sentence.txt
index 8ee589f9abe0a150648257484cc549fb5c15eb52..032eb54baf616ced998c5b384547f83878e20518 100644
--- a/SolarSystem-20231005/SolarSystem.sentence.txt
+++ b/SolarSystem-20231005/SolarSystem.sentence.txt
@@ -12,7 +12,7 @@ Volatiles are substances with relatively high melting points compared to hydroge
 All eight planets have almost circular orbits.
 These orbits lie within a nearly flat disc called the ecliptic.
 The Solar System also contains smaller objects.
-The asteroid belt, which lies between the orbits of Mars and Jupiter, mostly contains objects composed, like the terrestrial planets, of rock and metal.
+The asteroid belt, which lies between the orbits of Mars and Jupiter, contains objects composed of rock and metal.
 Beyond Neptune's orbit, there are two regions known as the Kuiper Belt and the scattered disk.
 The Kuiper Belt and the scattered disk contain objects primarily composed of ice.
 Beyond Neptune's orbit, there is also objects called sednoids.
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.dot b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.dot
index f119637195f35099cc2e87cb2a09cba501116fc7..d063aaf83f111e8731a27e73cfecb60a34a9da16 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.dot
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.dot
@@ -16,10 +16,6 @@ digraph amr_graph {
 	a2 [label="a2/and" shape=circle]
 	r [label="r/rock" shape=circle]
 	m [label="m/metal" shape=circle]
-	r2 [label="r2/resemble-01" shape=circle]
-	p3 [label="p3/planet" shape=circle]
-	t [label="t/terrestrial" shape=circle]
-	m2 [label="m2/most" shape=circle]
 	c -> b [label=":ARG0"]
 	b -> a [label=":mod"]
 	b -> l [label=":ARG1-of"]
@@ -35,10 +31,6 @@ digraph amr_graph {
 	c2 -> a2 [label=":ARG2"]
 	a2 -> r [label=":op1"]
 	a2 -> m [label=":op2"]
-	c2 -> r2 [label=":ARG1-of"]
-	r2 -> p3 [label=":ARG2"]
-	p3 -> t [label=":mod"]
-	c -> m2 [label=":mod"]
 	node_0 [label="\"Mars\"" shape=rectangle]
 	n -> node_0 [label=":op1"]
 	node_1 [label="\"Jupiter\"" shape=rectangle]
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.nt b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.nt
index fab638a9cbc46a63b99c83e7cd1170aea37b53eb..b25db2e4ad6a0002760eef290b8f61d39b7bce6a 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.nt
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.nt
@@ -1,79 +1,66 @@
-<http://amr.isi.edu/rdf/core-amr#Concept> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#p2> <http://www.w3.org/2000/01/rdf-schema#label> "Jupiter" .
-<http://amr.isi.edu/amr_data/SolarSystem-15#root01> <http://amr.isi.edu/rdf/core-amr#has-sentence> "The asteroid belt, which lies between the orbits of Mars and Jupiter, mostly contains objects composed, like the terrestrial planets, of rock and metal." .
-<http://amr.isi.edu/amr_data/SolarSystem-15#l> <http://amr.isi.edu/frames/ld/v1.2.2/lie-07.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-15#b> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#o> <http://amr.isi.edu/frames/ld/v1.2.2/orbit-01.ARG0> <http://amr.isi.edu/amr_data/SolarSystem-15#p> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#asteroid> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#r2> <http://amr.isi.edu/frames/ld/v1.2.2/resemble-01.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-15#c2> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#c2> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-15#o3> .
-<http://amr.isi.edu/rdf/amr-terms#op1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Role> .
+<http://amr.isi.edu/rdf/amr-terms#mod> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Role> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#p2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/entity-types#planet> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#r> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#rock> .
 <http://amr.isi.edu/rdf/core-amr#NamedEntity> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Term" .
-<http://amr.isi.edu/rdf/core-amr#most> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#m2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#most> .
-<http://amr.isi.edu/rdf/core-amr#Role> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Role" .
-<http://amr.isi.edu/amr_data/SolarSystem-15#p> <http://www.w3.org/2000/01/rdf-schema#label> "Mars" .
-<http://amr.isi.edu/amr_data/SolarSystem-15#r2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/resemble-01> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#r2> <http://amr.isi.edu/frames/ld/v1.2.2/resemble-01.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-15#p3> .
-<http://amr.isi.edu/rdf/amr-terms#rock> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/rdf/core-amr#Role> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
-<http://amr.isi.edu/frames/ld/v1.2.2/contain-01.ARG1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#a2> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-15#m> .
-<http://amr.isi.edu/rdf/core-amr#Frame> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-PropBank-Frame" .
-<http://amr.isi.edu/amr_data/SolarSystem-15#l> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/lie-07> .
+<http://amr.isi.edu/frames/ld/v1.2.2/lie-07.ARG2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#asteroid> .
+<http://amr.isi.edu/frames/ld/v1.2.2/orbit-01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Frame> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#root01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#AMR> .
+<http://amr.isi.edu/frames/ld/v1.2.2/lie-07.ARG1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
+<http://amr.isi.edu/rdf/core-amr#NamedEntity> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-EntityType" .
+<http://amr.isi.edu/amr_data/SolarSystem-15#root01> <http://amr.isi.edu/rdf/core-amr#has-sentence> "The asteroid belt, which lies between the orbits of Mars and Jupiter, contains objects composed of rock and metal." .
 <http://amr.isi.edu/amr_data/SolarSystem-15#root01> <http://amr.isi.edu/rdf/core-amr#has-id> "SolarSystem-15" .
-<http://amr.isi.edu/frames/ld/v1.2.2/contain-01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Frame> .
-<http://amr.isi.edu/rdf/amr-terms#terrestrial> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
+<http://amr.isi.edu/entity-types#planet> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#NamedEntity> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#a2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#and> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#c2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01> .
+<http://amr.isi.edu/rdf/amr-terms#op1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Role> .
+<http://amr.isi.edu/frames/ld/v1.2.2/lie-07> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Frame> .
 <http://amr.isi.edu/rdf/amr-terms#metal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#b2> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-15#o> .
-<http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#p2> <http://www.w3.org/2000/01/rdf-schema#label> "Jupiter" .
+<http://amr.isi.edu/amr_data/SolarSystem-15#root01> <http://amr.isi.edu/rdf/core-amr#root> <http://amr.isi.edu/amr_data/SolarSystem-15#c> .
+<http://amr.isi.edu/rdf/core-amr#Concept> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
 <http://amr.isi.edu/amr_data/SolarSystem-15#c> <http://amr.isi.edu/frames/ld/v1.2.2/contain-01.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-15#o3> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#p2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/entity-types#planet> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#l> <http://amr.isi.edu/frames/ld/v1.2.2/lie-07.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-15#b2> .
+<http://amr.isi.edu/rdf/core-amr#Role> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#o> <http://amr.isi.edu/frames/ld/v1.2.2/orbit-01.ARG0> <http://amr.isi.edu/amr_data/SolarSystem-15#p> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#o> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/orbit-01> .
+<http://amr.isi.edu/rdf/amr-terms#asteroid> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#o2> <http://amr.isi.edu/frames/ld/v1.2.2/orbit-01.ARG0> <http://amr.isi.edu/amr_data/SolarSystem-15#p2> .
+<http://amr.isi.edu/rdf/core-amr#NamedEntity> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
 <http://amr.isi.edu/rdf/core-amr#between> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
+<http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#c2> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-15#o3> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#b2> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-15#o> .
 <http://amr.isi.edu/frames/ld/v1.2.2/contain-01.ARG0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
-<http://amr.isi.edu/frames/ld/v1.2.2/orbit-01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Frame> .
-<http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Role> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#c2> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-15#a2> .
-<http://amr.isi.edu/rdf/amr-terms#mod> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Role> .
-<http://amr.isi.edu/rdf/core-amr#NamedEntity> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-EntityType" .
-<http://amr.isi.edu/amr_data/SolarSystem-15#a2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#and> .
-<http://amr.isi.edu/frames/ld/v1.2.2/resemble-01.ARG2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#o2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/orbit-01> .
 <http://amr.isi.edu/amr_data/SolarSystem-15#a2> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-15#r> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#b2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#between> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#b> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#belt> .
-<http://amr.isi.edu/rdf/amr-terms#asteroid> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/frames/ld/v1.2.2/lie-07.ARG2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#c2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01> .
-<http://amr.isi.edu/frames/ld/v1.2.2/resemble-01.ARG1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#o> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/orbit-01> .
-<http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#t> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#terrestrial> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#m> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#metal> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#root01> <http://amr.isi.edu/rdf/core-amr#root> <http://amr.isi.edu/amr_data/SolarSystem-15#c> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#o3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#object> .
-<http://amr.isi.edu/entity-types#planet> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#NamedEntity> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/contain-01> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#r> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#rock> .
+<http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-PropBank-Role" .
+<http://amr.isi.edu/rdf/core-amr#Frame> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-PropBank-Frame" .
+<http://amr.isi.edu/rdf/amr-terms#belt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
+<http://amr.isi.edu/frames/ld/v1.2.2/contain-01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Frame> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#l> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/lie-07> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#l> <http://amr.isi.edu/frames/ld/v1.2.2/lie-07.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-15#b2> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#b2> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-15#o2> .
 <http://amr.isi.edu/rdf/core-amr#Frame> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
+<http://amr.isi.edu/rdf/core-amr#Role> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Role" .
+<http://amr.isi.edu/amr_data/SolarSystem-15#p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/entity-types#planet> .
+<http://amr.isi.edu/rdf/core-amr#Concept> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Concept" .
+<http://amr.isi.edu/amr_data/SolarSystem-15#o3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#object> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#m> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#metal> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#l> <http://amr.isi.edu/frames/ld/v1.2.2/lie-07.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-15#b> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#o2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/orbit-01> .
 <http://amr.isi.edu/amr_data/SolarSystem-15#c> <http://amr.isi.edu/frames/ld/v1.2.2/contain-01.ARG0> <http://amr.isi.edu/amr_data/SolarSystem-15#b> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#p3> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-15#t> .
+<http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Role> .
+<http://amr.isi.edu/frames/ld/v1.2.2/orbit-01.ARG0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#b> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#belt> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#b> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-15#a> .
 <http://amr.isi.edu/frames/ld/v1.2.2/compose-01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Frame> .
-<http://amr.isi.edu/frames/ld/v1.2.2/resemble-01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Frame> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#p3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/entity-types#planet> .
+<http://amr.isi.edu/frames/ld/v1.2.2/contain-01.ARG1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/contain-01> .
 <http://amr.isi.edu/rdf/amr-terms#object> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/frames/ld/v1.2.2/lie-07.ARG1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
-<http://amr.isi.edu/rdf/core-amr#Concept> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Concept" .
-<http://amr.isi.edu/amr_data/SolarSystem-15#c> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-15#m2> .
-<http://amr.isi.edu/rdf/amr-terms#belt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#p> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/entity-types#planet> .
-<http://amr.isi.edu/rdf/core-amr#NamedEntity> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/rdf/core-amr#and> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-PropBank-Role" .
-<http://amr.isi.edu/amr_data/SolarSystem-15#root01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#AMR> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#o2> <http://amr.isi.edu/frames/ld/v1.2.2/orbit-01.ARG0> <http://amr.isi.edu/amr_data/SolarSystem-15#p2> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#b> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-15#a> .
-<http://amr.isi.edu/frames/ld/v1.2.2/lie-07> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Frame> .
-<http://amr.isi.edu/amr_data/SolarSystem-15#b2> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-15#o2> .
-<http://amr.isi.edu/frames/ld/v1.2.2/orbit-01.ARG0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#a2> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-15#m> .
+<http://amr.isi.edu/rdf/amr-terms#rock> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
+<http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/FrameRole> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#c2> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-15#a2> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#b2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#between> .
 <http://amr.isi.edu/rdf/amr-terms#op2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Role> .
+<http://amr.isi.edu/amr_data/SolarSystem-15#p> <http://www.w3.org/2000/01/rdf-schema#label> "Mars" .
+<http://amr.isi.edu/rdf/core-amr#and> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.penman b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.penman
index 7ebf24feee673764d0dc629f009f4e9d21e34619..145e05a69b080c0359a016897c49996dfc9e9a82 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.penman
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.penman
@@ -1,5 +1,5 @@
 # ::id SolarSystem-15
-# ::snt The asteroid belt, which lies between the orbits of Mars and Jupiter, mostly contains objects composed, like the terrestrial planets, of rock and metal.
+# ::snt The asteroid belt, which lies between the orbits of Mars and Jupiter, contains objects composed of rock and metal.
 (c / contain-01
       :ARG0 (b / belt
             :mod (a / asteroid)
@@ -17,8 +17,4 @@
             :ARG1-of (c2 / compose-01
                   :ARG2 (a2 / and
                         :op1 (r / rock)
-                        :op2 (m / metal))
-                  :ARG1-of (r2 / resemble-01
-                        :ARG2 (p3 / planet
-                              :mod (t / terrestrial)))))
-      :mod (m2 / most))
\ No newline at end of file
+                        :op2 (m / metal)))))
\ No newline at end of file
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.png b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.png
index 93e46c681d7e86ddd239dacba095955d2da281d9..750d4fc71b4fbbfdf1ea74899f44908c28d90f2e 100644
Binary files a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.png and b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.png differ
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.svg b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.svg
index f0b5a1e9ab9f4669a8e9d510ae2cb82857b823c1..bfa6bb2dc1c07ab813d3ae7bf7cde42756856b1f 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.svg
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.svg
@@ -4,289 +4,237 @@
 <!-- Generated by graphviz version 9.0.0 (0)
  -->
 <!-- Title: amr_graph Pages: 1 -->
-<svg width="864pt" height="337pt"
- viewBox="0.00 0.00 864.00 337.47" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(0.520551 0.520551) rotate(0) translate(4 644.3)">
+<svg width="864pt" height="279pt"
+ viewBox="0.00 0.00 864.00 279.49" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(0.550807 0.550807) rotate(0) translate(4 503.41)">
 <title>amr_graph</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-644.3 1655.78,-644.3 1655.78,4 -4,4"/>
+<polygon fill="white" stroke="none" points="-4,4 -4,-503.41 1564.61,-503.41 1564.61,4 -4,4"/>
 <!-- c -->
 <g id="node1" class="node">
 <title>c</title>
-<ellipse fill="none" stroke="black" cx="72.25" cy="-289.15" rx="72.25" ry="72.25"/>
-<text text-anchor="middle" x="72.25" y="-284.47" font-family="Times,serif" font-size="14.00">c/contain&#45;01</text>
+<ellipse fill="none" stroke="black" cx="72.25" cy="-234.26" rx="72.25" ry="72.25"/>
+<text text-anchor="middle" x="72.25" y="-229.59" font-family="Times,serif" font-size="14.00">c/contain&#45;01</text>
 </g>
 <!-- b -->
 <g id="node2" class="node">
 <title>b</title>
-<ellipse fill="none" stroke="black" cx="282.5" cy="-417.15" rx="40.16" ry="40.16"/>
-<text text-anchor="middle" x="282.5" y="-412.47" font-family="Times,serif" font-size="14.00">b/belt</text>
+<ellipse fill="none" stroke="black" cx="282.5" cy="-300.26" rx="40.16" ry="40.16"/>
+<text text-anchor="middle" x="282.5" y="-295.59" font-family="Times,serif" font-size="14.00">b/belt</text>
 </g>
 <!-- c&#45;&gt;b -->
 <g id="edge1" class="edge">
 <title>c&#45;&gt;b</title>
-<path fill="none" stroke="black" d="M134.33,-326.69C167.54,-347.1 207.84,-371.87 237.87,-390.33"/>
-<polygon fill="black" stroke="black" points="235.99,-393.28 246.34,-395.54 239.65,-387.32 235.99,-393.28"/>
-<text text-anchor="middle" x="185" y="-372.1" font-family="Times,serif" font-size="14.00">:ARG0</text>
+<path fill="none" stroke="black" d="M141.44,-255.87C171.36,-265.35 205.8,-276.27 233.03,-284.9"/>
+<polygon fill="black" stroke="black" points="231.82,-288.19 242.41,-287.87 233.93,-281.51 231.82,-288.19"/>
+<text text-anchor="middle" x="185" y="-278.21" font-family="Times,serif" font-size="14.00">:ARG0</text>
 </g>
 <!-- o3 -->
 <g id="node12" class="node">
 <title>o3</title>
-<ellipse fill="none" stroke="black" cx="282.5" cy="-289.15" rx="57" ry="57"/>
-<text text-anchor="middle" x="282.5" y="-284.47" font-family="Times,serif" font-size="14.00">o3/object</text>
+<ellipse fill="none" stroke="black" cx="282.5" cy="-177.26" rx="57" ry="57"/>
+<text text-anchor="middle" x="282.5" y="-172.59" font-family="Times,serif" font-size="14.00">o3/object</text>
 </g>
 <!-- c&#45;&gt;o3 -->
 <g id="edge11" class="edge">
 <title>c&#45;&gt;o3</title>
-<path fill="none" stroke="black" d="M144.92,-289.15C167.26,-289.15 191.82,-289.15 213.88,-289.15"/>
-<polygon fill="black" stroke="black" points="213.64,-292.65 223.64,-289.15 213.64,-285.65 213.64,-292.65"/>
-<text text-anchor="middle" x="185" y="-293.1" font-family="Times,serif" font-size="14.00">:ARG1</text>
-</g>
-<!-- m2 -->
-<g id="node20" class="node">
-<title>m2</title>
-<ellipse fill="none" stroke="black" cx="282.5" cy="-159.15" rx="54.89" ry="54.89"/>
-<text text-anchor="middle" x="282.5" y="-154.47" font-family="Times,serif" font-size="14.00">m2/most</text>
-</g>
-<!-- c&#45;&gt;m2 -->
-<g id="edge19" class="edge">
-<title>c&#45;&gt;m2</title>
-<path fill="none" stroke="black" d="M134.05,-251.2C163.04,-233.1 197.49,-211.59 225.8,-193.92"/>
-<polygon fill="black" stroke="black" points="227.63,-196.91 234.26,-188.64 223.92,-190.97 227.63,-196.91"/>
-<text text-anchor="middle" x="185" y="-236.1" font-family="Times,serif" font-size="14.00">:mod</text>
+<path fill="none" stroke="black" d="M142.31,-215.36C166.12,-208.84 192.71,-201.56 216.21,-195.13"/>
+<polygon fill="black" stroke="black" points="216.94,-198.56 225.66,-192.54 215.09,-191.81 216.94,-198.56"/>
+<text text-anchor="middle" x="185" y="-212.21" font-family="Times,serif" font-size="14.00">:ARG1</text>
 </g>
 <!-- a -->
 <g id="node3" class="node">
 <title>a</title>
-<ellipse fill="none" stroke="black" cx="523.9" cy="-542.15" rx="61.2" ry="61.2"/>
-<text text-anchor="middle" x="523.9" y="-537.47" font-family="Times,serif" font-size="14.00">a/asteroid</text>
+<ellipse fill="none" stroke="black" cx="523.9" cy="-425.26" rx="61.2" ry="61.2"/>
+<text text-anchor="middle" x="523.9" y="-420.59" font-family="Times,serif" font-size="14.00">a/asteroid</text>
 </g>
 <!-- b&#45;&gt;a -->
 <g id="edge2" class="edge">
 <title>b&#45;&gt;a</title>
-<path fill="none" stroke="black" d="M318.57,-435.46C355.39,-454.69 414.1,-485.34 459.16,-508.87"/>
-<polygon fill="black" stroke="black" points="457.31,-511.85 467.79,-513.37 460.55,-505.64 457.31,-511.85"/>
-<text text-anchor="middle" x="389" y="-490.1" font-family="Times,serif" font-size="14.00">:mod</text>
+<path fill="none" stroke="black" d="M318.57,-318.57C355.39,-337.8 414.1,-368.45 459.16,-391.98"/>
+<polygon fill="black" stroke="black" points="457.31,-394.96 467.79,-396.49 460.55,-388.75 457.31,-394.96"/>
+<text text-anchor="middle" x="389" y="-373.21" font-family="Times,serif" font-size="14.00">:mod</text>
 </g>
 <!-- l -->
 <g id="node4" class="node">
 <title>l</title>
-<ellipse fill="none" stroke="black" cx="523.9" cy="-417.15" rx="45.42" ry="45.42"/>
-<text text-anchor="middle" x="523.9" y="-412.47" font-family="Times,serif" font-size="14.00">l/lie&#45;07</text>
+<ellipse fill="none" stroke="black" cx="523.9" cy="-300.26" rx="45.42" ry="45.42"/>
+<text text-anchor="middle" x="523.9" y="-295.59" font-family="Times,serif" font-size="14.00">l/lie&#45;07</text>
 </g>
 <!-- b&#45;&gt;l -->
 <g id="edge3" class="edge">
 <title>b&#45;&gt;l</title>
-<path fill="none" stroke="black" d="M323.03,-417.15C362.17,-417.15 422.46,-417.15 466.59,-417.15"/>
-<polygon fill="black" stroke="black" points="466.49,-420.65 476.49,-417.15 466.49,-413.65 466.49,-420.65"/>
-<text text-anchor="middle" x="389" y="-421.1" font-family="Times,serif" font-size="14.00">:ARG1&#45;of</text>
+<path fill="none" stroke="black" d="M323.03,-300.26C362.17,-300.26 422.46,-300.26 466.59,-300.26"/>
+<polygon fill="black" stroke="black" points="466.49,-303.76 476.49,-300.26 466.49,-296.76 466.49,-303.76"/>
+<text text-anchor="middle" x="389" y="-304.21" font-family="Times,serif" font-size="14.00">:ARG1&#45;of</text>
 </g>
 <!-- b2 -->
 <g id="node5" class="node">
 <title>b2</title>
-<ellipse fill="none" stroke="black" cx="795.82" cy="-435.15" rx="69.62" ry="69.62"/>
-<text text-anchor="middle" x="795.82" y="-430.47" font-family="Times,serif" font-size="14.00">b2/between</text>
+<ellipse fill="none" stroke="black" cx="759.93" cy="-300.26" rx="69.62" ry="69.62"/>
+<text text-anchor="middle" x="759.93" y="-295.59" font-family="Times,serif" font-size="14.00">b2/between</text>
 </g>
 <!-- l&#45;&gt;b2 -->
 <g id="edge4" class="edge">
 <title>l&#45;&gt;b2</title>
-<path fill="none" stroke="black" d="M569.47,-420.12C608.84,-422.75 667.2,-426.64 714.66,-429.8"/>
-<polygon fill="black" stroke="black" points="714.13,-433.28 724.34,-430.45 714.6,-426.29 714.13,-433.28"/>
-<text text-anchor="middle" x="658.81" y="-431.1" font-family="Times,serif" font-size="14.00">:ARG2</text>
+<path fill="none" stroke="black" d="M569.75,-300.26C600.54,-300.26 642.27,-300.26 678.7,-300.26"/>
+<polygon fill="black" stroke="black" points="678.31,-303.76 688.31,-300.26 678.31,-296.76 678.31,-303.76"/>
+<text text-anchor="middle" x="649.81" y="-304.21" font-family="Times,serif" font-size="14.00">:ARG2</text>
 </g>
 <!-- o -->
 <g id="node6" class="node">
 <title>o</title>
-<ellipse fill="none" stroke="black" cx="1030.79" cy="-580.15" rx="60.15" ry="60.15"/>
-<text text-anchor="middle" x="1030.79" y="-575.47" font-family="Times,serif" font-size="14.00">o/orbit&#45;01</text>
+<ellipse fill="none" stroke="black" cx="962.76" cy="-439.26" rx="60.15" ry="60.15"/>
+<text text-anchor="middle" x="962.76" y="-434.59" font-family="Times,serif" font-size="14.00">o/orbit&#45;01</text>
 </g>
 <!-- b2&#45;&gt;o -->
 <g id="edge5" class="edge">
 <title>b2&#45;&gt;o</title>
-<path fill="none" stroke="black" d="M855.6,-471.74C890.47,-493.44 934.57,-520.89 969.67,-542.73"/>
-<polygon fill="black" stroke="black" points="967.69,-545.62 978.03,-547.94 971.39,-539.68 967.69,-545.62"/>
-<text text-anchor="middle" x="923.82" y="-528.1" font-family="Times,serif" font-size="14.00">:op1</text>
+<path fill="none" stroke="black" d="M817.67,-339.53C844.44,-358.06 876.36,-380.15 903.34,-398.82"/>
+<polygon fill="black" stroke="black" points="901.2,-401.6 911.41,-404.41 905.18,-395.84 901.2,-401.6"/>
+<text text-anchor="middle" x="862.92" y="-381.21" font-family="Times,serif" font-size="14.00">:op1</text>
 </g>
 <!-- o2 -->
 <g id="node9" class="node">
 <title>o2</title>
-<ellipse fill="none" stroke="black" cx="1030.79" cy="-435.15" rx="66.47" ry="66.47"/>
-<text text-anchor="middle" x="1030.79" y="-430.47" font-family="Times,serif" font-size="14.00">o2/orbit&#45;01</text>
+<ellipse fill="none" stroke="black" cx="962.76" cy="-294.26" rx="66.47" ry="66.47"/>
+<text text-anchor="middle" x="962.76" y="-289.59" font-family="Times,serif" font-size="14.00">o2/orbit&#45;01</text>
 </g>
 <!-- b2&#45;&gt;o2 -->
 <g id="edge8" class="edge">
 <title>b2&#45;&gt;o2</title>
-<path fill="none" stroke="black" d="M865.77,-435.15C893.13,-435.15 924.71,-435.15 952.81,-435.15"/>
-<polygon fill="black" stroke="black" points="952.7,-438.65 962.7,-435.15 952.7,-431.65 952.7,-438.65"/>
-<text text-anchor="middle" x="923.82" y="-439.1" font-family="Times,serif" font-size="14.00">:op2</text>
+<path fill="none" stroke="black" d="M829.76,-298.2C847.45,-297.68 866.6,-297.1 884.67,-296.56"/>
+<polygon fill="black" stroke="black" points="884.66,-300.07 894.56,-296.27 884.46,-293.07 884.66,-300.07"/>
+<text text-anchor="middle" x="862.92" y="-301.21" font-family="Times,serif" font-size="14.00">:op2</text>
 </g>
 <!-- p -->
 <g id="node7" class="node">
 <title>p</title>
-<ellipse fill="none" stroke="black" cx="1248.4" cy="-580.15" rx="52.26" ry="52.26"/>
-<text text-anchor="middle" x="1248.4" y="-575.47" font-family="Times,serif" font-size="14.00">p/planet</text>
+<ellipse fill="none" stroke="black" cx="1168.8" cy="-439.26" rx="52.26" ry="52.26"/>
+<text text-anchor="middle" x="1168.8" y="-434.59" font-family="Times,serif" font-size="14.00">p/planet</text>
 </g>
 <!-- o&#45;&gt;p -->
 <g id="edge6" class="edge">
 <title>o&#45;&gt;p</title>
-<path fill="none" stroke="black" d="M1091.28,-580.15C1120.22,-580.15 1155.02,-580.15 1184.41,-580.15"/>
-<polygon fill="black" stroke="black" points="1184.29,-583.65 1194.29,-580.15 1184.29,-576.65 1184.29,-583.65"/>
-<text text-anchor="middle" x="1137.76" y="-584.1" font-family="Times,serif" font-size="14.00">:ARG0</text>
+<path fill="none" stroke="black" d="M1023.33,-439.26C1048.95,-439.26 1078.91,-439.26 1104.88,-439.26"/>
+<polygon fill="black" stroke="black" points="1104.61,-442.76 1114.61,-439.26 1104.61,-435.76 1104.61,-442.76"/>
+<text text-anchor="middle" x="1069.73" y="-443.21" font-family="Times,serif" font-size="14.00">:ARG0</text>
 </g>
 <!-- n -->
 <g id="node8" class="node">
 <title>n</title>
-<ellipse fill="none" stroke="black" cx="1452.42" cy="-580.15" rx="48.05" ry="48.05"/>
-<text text-anchor="middle" x="1452.42" y="-575.47" font-family="Times,serif" font-size="14.00">n/name</text>
+<ellipse fill="none" stroke="black" cx="1361.24" cy="-439.26" rx="48.05" ry="48.05"/>
+<text text-anchor="middle" x="1361.24" y="-434.59" font-family="Times,serif" font-size="14.00">n/name</text>
 </g>
 <!-- p&#45;&gt;n -->
 <g id="edge7" class="edge">
 <title>p&#45;&gt;n</title>
-<path fill="none" stroke="black" d="M1300.9,-580.15C1328.97,-580.15 1363.82,-580.15 1392.91,-580.15"/>
-<polygon fill="black" stroke="black" points="1392.65,-583.65 1402.65,-580.15 1392.65,-576.65 1392.65,-583.65"/>
-<text text-anchor="middle" x="1358.3" y="-584.1" font-family="Times,serif" font-size="14.00">:name</text>
+<path fill="none" stroke="black" d="M1221.34,-439.26C1246.08,-439.26 1275.84,-439.26 1301.46,-439.26"/>
+<polygon fill="black" stroke="black" points="1301.4,-442.76 1311.4,-439.26 1301.4,-435.76 1301.4,-442.76"/>
+<text text-anchor="middle" x="1267.13" y="-443.21" font-family="Times,serif" font-size="14.00">:name</text>
 </g>
 <!-- node_0 -->
-<g id="node21" class="node">
+<g id="node17" class="node">
 <title>node_0</title>
-<polygon fill="none" stroke="black" points="1645.78,-598.15 1579.53,-598.15 1579.53,-562.15 1645.78,-562.15 1645.78,-598.15"/>
-<text text-anchor="middle" x="1612.66" y="-575.47" font-family="Times,serif" font-size="14.00">&quot;Mars&quot;</text>
+<polygon fill="none" stroke="black" points="1554.61,-457.26 1488.36,-457.26 1488.36,-421.26 1554.61,-421.26 1554.61,-457.26"/>
+<text text-anchor="middle" x="1521.48" y="-434.59" font-family="Times,serif" font-size="14.00">&quot;Mars&quot;</text>
 </g>
 <!-- n&#45;&gt;node_0 -->
-<g id="edge20" class="edge">
+<g id="edge16" class="edge">
 <title>n&#45;&gt;node_0</title>
-<path fill="none" stroke="black" d="M1500.89,-580.15C1522.15,-580.15 1547.05,-580.15 1567.85,-580.15"/>
-<polygon fill="black" stroke="black" points="1567.74,-583.65 1577.74,-580.15 1567.74,-576.65 1567.74,-583.65"/>
-<text text-anchor="middle" x="1540.16" y="-584.1" font-family="Times,serif" font-size="14.00">:op1</text>
+<path fill="none" stroke="black" d="M1409.72,-439.26C1430.97,-439.26 1455.88,-439.26 1476.68,-439.26"/>
+<polygon fill="black" stroke="black" points="1476.57,-442.76 1486.57,-439.26 1476.57,-435.76 1476.57,-442.76"/>
+<text text-anchor="middle" x="1448.98" y="-443.21" font-family="Times,serif" font-size="14.00">:op1</text>
 </g>
 <!-- p2 -->
 <g id="node10" class="node">
 <title>p2</title>
-<ellipse fill="none" stroke="black" cx="1248.4" cy="-435.15" rx="58.57" ry="58.57"/>
-<text text-anchor="middle" x="1248.4" y="-430.47" font-family="Times,serif" font-size="14.00">p2/planet</text>
+<ellipse fill="none" stroke="black" cx="1168.8" cy="-294.26" rx="58.57" ry="58.57"/>
+<text text-anchor="middle" x="1168.8" y="-289.59" font-family="Times,serif" font-size="14.00">p2/planet</text>
 </g>
 <!-- o2&#45;&gt;p2 -->
 <g id="edge9" class="edge">
 <title>o2&#45;&gt;p2</title>
-<path fill="none" stroke="black" d="M1097.65,-435.15C1123.22,-435.15 1152.52,-435.15 1178.38,-435.15"/>
-<polygon fill="black" stroke="black" points="1178.1,-438.65 1188.1,-435.15 1178.1,-431.65 1178.1,-438.65"/>
-<text text-anchor="middle" x="1137.76" y="-439.1" font-family="Times,serif" font-size="14.00">:ARG0</text>
+<path fill="none" stroke="black" d="M1029.73,-294.26C1051.74,-294.26 1076.32,-294.26 1098.57,-294.26"/>
+<polygon fill="black" stroke="black" points="1098.46,-297.76 1108.46,-294.26 1098.46,-290.76 1098.46,-297.76"/>
+<text text-anchor="middle" x="1069.73" y="-298.21" font-family="Times,serif" font-size="14.00">:ARG0</text>
 </g>
 <!-- n2 -->
 <g id="node11" class="node">
 <title>n2</title>
-<ellipse fill="none" stroke="black" cx="1452.42" cy="-435.15" rx="54.36" ry="54.36"/>
-<text text-anchor="middle" x="1452.42" y="-430.47" font-family="Times,serif" font-size="14.00">n2/name</text>
+<ellipse fill="none" stroke="black" cx="1361.24" cy="-294.26" rx="54.36" ry="54.36"/>
+<text text-anchor="middle" x="1361.24" y="-289.59" font-family="Times,serif" font-size="14.00">n2/name</text>
 </g>
 <!-- p2&#45;&gt;n2 -->
 <g id="edge10" class="edge">
 <title>p2&#45;&gt;n2</title>
-<path fill="none" stroke="black" d="M1307.29,-435.15C1331.96,-435.15 1360.86,-435.15 1386.27,-435.15"/>
-<polygon fill="black" stroke="black" points="1386.16,-438.65 1396.16,-435.15 1386.16,-431.65 1386.16,-438.65"/>
-<text text-anchor="middle" x="1358.3" y="-439.1" font-family="Times,serif" font-size="14.00">:name</text>
+<path fill="none" stroke="black" d="M1227.72,-294.26C1249.06,-294.26 1273.37,-294.26 1295.29,-294.26"/>
+<polygon fill="black" stroke="black" points="1294.99,-297.76 1304.99,-294.26 1294.99,-290.76 1294.99,-297.76"/>
+<text text-anchor="middle" x="1267.13" y="-298.21" font-family="Times,serif" font-size="14.00">:name</text>
 </g>
 <!-- node_1 -->
-<g id="node22" class="node">
+<g id="node18" class="node">
 <title>node_1</title>
-<polygon fill="none" stroke="black" points="1651.78,-453.15 1573.53,-453.15 1573.53,-417.15 1651.78,-417.15 1651.78,-453.15"/>
-<text text-anchor="middle" x="1612.66" y="-430.47" font-family="Times,serif" font-size="14.00">&quot;Jupiter&quot;</text>
+<polygon fill="none" stroke="black" points="1560.61,-312.26 1482.36,-312.26 1482.36,-276.26 1560.61,-276.26 1560.61,-312.26"/>
+<text text-anchor="middle" x="1521.48" y="-289.59" font-family="Times,serif" font-size="14.00">&quot;Jupiter&quot;</text>
 </g>
 <!-- n2&#45;&gt;node_1 -->
-<g id="edge21" class="edge">
+<g id="edge17" class="edge">
 <title>n2&#45;&gt;node_1</title>
-<path fill="none" stroke="black" d="M1506.99,-435.15C1524.79,-435.15 1544.52,-435.15 1562.01,-435.15"/>
-<polygon fill="black" stroke="black" points="1561.62,-438.65 1571.62,-435.15 1561.62,-431.65 1561.62,-438.65"/>
-<text text-anchor="middle" x="1540.16" y="-439.1" font-family="Times,serif" font-size="14.00">:op1</text>
+<path fill="none" stroke="black" d="M1415.81,-294.26C1433.61,-294.26 1453.35,-294.26 1470.83,-294.26"/>
+<polygon fill="black" stroke="black" points="1470.45,-297.76 1480.45,-294.26 1470.45,-290.76 1470.45,-297.76"/>
+<text text-anchor="middle" x="1448.98" y="-298.21" font-family="Times,serif" font-size="14.00">:op1</text>
 </g>
 <!-- c2 -->
 <g id="node13" class="node">
 <title>c2</title>
-<ellipse fill="none" stroke="black" cx="523.9" cy="-260.15" rx="85.41" ry="85.41"/>
-<text text-anchor="middle" x="523.9" y="-255.47" font-family="Times,serif" font-size="14.00">c2/compose&#45;01</text>
+<ellipse fill="none" stroke="black" cx="523.9" cy="-151.26" rx="85.41" ry="85.41"/>
+<text text-anchor="middle" x="523.9" y="-146.59" font-family="Times,serif" font-size="14.00">c2/compose&#45;01</text>
 </g>
 <!-- o3&#45;&gt;c2 -->
 <g id="edge12" class="edge">
 <title>o3&#45;&gt;c2</title>
-<path fill="none" stroke="black" d="M339.33,-282.39C365.54,-279.21 397.54,-275.33 427.44,-271.71"/>
-<polygon fill="black" stroke="black" points="427.77,-275.2 437.27,-270.52 426.93,-268.25 427.77,-275.2"/>
-<text text-anchor="middle" x="389" y="-284.1" font-family="Times,serif" font-size="14.00">:ARG1&#45;of</text>
+<path fill="none" stroke="black" d="M339.63,-171.16C365.73,-168.33 397.52,-164.88 427.24,-161.65"/>
+<polygon fill="black" stroke="black" points="427.44,-165.15 437.01,-160.59 426.69,-158.19 427.44,-165.15"/>
+<text text-anchor="middle" x="389" y="-172.21" font-family="Times,serif" font-size="14.00">:ARG1&#45;of</text>
 </g>
 <!-- a2 -->
 <g id="node14" class="node">
 <title>a2</title>
-<ellipse fill="none" stroke="black" cx="795.82" cy="-260.15" rx="44.89" ry="44.89"/>
-<text text-anchor="middle" x="795.82" y="-255.47" font-family="Times,serif" font-size="14.00">a2/and</text>
+<ellipse fill="none" stroke="black" cx="759.93" cy="-151.26" rx="44.89" ry="44.89"/>
+<text text-anchor="middle" x="759.93" y="-146.59" font-family="Times,serif" font-size="14.00">a2/and</text>
 </g>
 <!-- c2&#45;&gt;a2 -->
 <g id="edge13" class="edge">
 <title>c2&#45;&gt;a2</title>
-<path fill="none" stroke="black" d="M609.56,-260.15C651.88,-260.15 701.89,-260.15 739.27,-260.15"/>
-<polygon fill="black" stroke="black" points="738.94,-263.65 748.94,-260.15 738.94,-256.65 738.94,-263.65"/>
-<text text-anchor="middle" x="658.81" y="-264.1" font-family="Times,serif" font-size="14.00">:ARG2</text>
-</g>
-<!-- r2 -->
-<g id="node17" class="node">
-<title>r2</title>
-<ellipse fill="none" stroke="black" cx="795.82" cy="-106.15" rx="87.51" ry="87.51"/>
-<text text-anchor="middle" x="795.82" y="-101.47" font-family="Times,serif" font-size="14.00">r2/resemble&#45;01</text>
-</g>
-<!-- c2&#45;&gt;r2 -->
-<g id="edge16" class="edge">
-<title>c2&#45;&gt;r2</title>
-<path fill="none" stroke="black" d="M598.66,-218.07C632.9,-198.53 673.81,-175.19 709.39,-154.89"/>
-<polygon fill="black" stroke="black" points="711,-158 717.96,-150 707.54,-151.92 711,-158"/>
-<text text-anchor="middle" x="658.81" y="-206.1" font-family="Times,serif" font-size="14.00">:ARG1&#45;of</text>
+<path fill="none" stroke="black" d="M609.72,-151.26C640.99,-151.26 675.59,-151.26 703.59,-151.26"/>
+<polygon fill="black" stroke="black" points="703.25,-154.76 713.25,-151.26 703.25,-147.76 703.25,-154.76"/>
+<text text-anchor="middle" x="649.81" y="-155.21" font-family="Times,serif" font-size="14.00">:ARG2</text>
 </g>
 <!-- r -->
 <g id="node15" class="node">
 <title>r</title>
-<ellipse fill="none" stroke="black" cx="1030.79" cy="-310.15" rx="40.69" ry="40.69"/>
-<text text-anchor="middle" x="1030.79" y="-305.47" font-family="Times,serif" font-size="14.00">r/rock</text>
+<ellipse fill="none" stroke="black" cx="962.76" cy="-163.26" rx="40.69" ry="40.69"/>
+<text text-anchor="middle" x="962.76" y="-158.59" font-family="Times,serif" font-size="14.00">r/rock</text>
 </g>
 <!-- a2&#45;&gt;r -->
 <g id="edge14" class="edge">
 <title>a2&#45;&gt;r</title>
-<path fill="none" stroke="black" d="M840.09,-269.44C879.54,-277.9 937.84,-290.41 979.38,-299.33"/>
-<polygon fill="black" stroke="black" points="978.63,-302.75 989.14,-301.42 980.1,-295.9 978.63,-302.75"/>
-<text text-anchor="middle" x="923.82" y="-294.1" font-family="Times,serif" font-size="14.00">:op1</text>
+<path fill="none" stroke="black" d="M805,-153.89C836.2,-155.76 878.11,-158.26 910.76,-160.21"/>
+<polygon fill="black" stroke="black" points="910.18,-163.68 920.37,-160.79 910.6,-156.7 910.18,-163.68"/>
+<text text-anchor="middle" x="862.92" y="-161.21" font-family="Times,serif" font-size="14.00">:op1</text>
 </g>
 <!-- m -->
 <g id="node16" class="node">
 <title>m</title>
-<ellipse fill="none" stroke="black" cx="1030.79" cy="-199.15" rx="52.26" ry="52.26"/>
-<text text-anchor="middle" x="1030.79" y="-194.47" font-family="Times,serif" font-size="14.00">m/metal</text>
+<ellipse fill="none" stroke="black" cx="962.76" cy="-52.26" rx="52.26" ry="52.26"/>
+<text text-anchor="middle" x="962.76" y="-47.59" font-family="Times,serif" font-size="14.00">m/metal</text>
 </g>
 <!-- a2&#45;&gt;m -->
 <g id="edge15" class="edge">
 <title>a2&#45;&gt;m</title>
-<path fill="none" stroke="black" d="M839.55,-248.96C875.81,-239.47 928.27,-225.73 968.92,-215.08"/>
-<polygon fill="black" stroke="black" points="969.8,-218.47 978.59,-212.55 968.03,-211.7 969.8,-218.47"/>
-<text text-anchor="middle" x="923.82" y="-236.1" font-family="Times,serif" font-size="14.00">:op2</text>
-</g>
-<!-- p3 -->
-<g id="node18" class="node">
-<title>p3</title>
-<ellipse fill="none" stroke="black" cx="1030.79" cy="-70.15" rx="58.57" ry="58.57"/>
-<text text-anchor="middle" x="1030.79" y="-65.47" font-family="Times,serif" font-size="14.00">p3/planet</text>
-</g>
-<!-- r2&#45;&gt;p3 -->
-<g id="edge17" class="edge">
-<title>r2&#45;&gt;p3</title>
-<path fill="none" stroke="black" d="M882.57,-92.9C908.56,-88.88 936.75,-84.52 961.44,-80.71"/>
-<polygon fill="black" stroke="black" points="961.67,-84.22 971.02,-79.23 960.6,-77.3 961.67,-84.22"/>
-<text text-anchor="middle" x="923.82" y="-94.1" font-family="Times,serif" font-size="14.00">:ARG2</text>
-</g>
-<!-- t -->
-<g id="node19" class="node">
-<title>t</title>
-<ellipse fill="none" stroke="black" cx="1248.4" cy="-70.15" rx="70.15" ry="70.15"/>
-<text text-anchor="middle" x="1248.4" y="-65.47" font-family="Times,serif" font-size="14.00">t/terrestrial</text>
-</g>
-<!-- p3&#45;&gt;t -->
-<g id="edge18" class="edge">
-<title>p3&#45;&gt;t</title>
-<path fill="none" stroke="black" d="M1089.85,-70.15C1113.54,-70.15 1141.33,-70.15 1166.92,-70.15"/>
-<polygon fill="black" stroke="black" points="1166.6,-73.65 1176.6,-70.15 1166.6,-66.65 1166.6,-73.65"/>
-<text text-anchor="middle" x="1137.76" y="-74.1" font-family="Times,serif" font-size="14.00">:mod</text>
+<path fill="none" stroke="black" d="M800.61,-131.7C830.55,-116.94 872.03,-96.5 905.4,-80.04"/>
+<polygon fill="black" stroke="black" points="906.7,-83.3 914.12,-75.74 903.61,-77.03 906.7,-83.3"/>
+<text text-anchor="middle" x="862.92" y="-111.21" font-family="Times,serif" font-size="14.00">:op2</text>
 </g>
 </g>
 </svg>
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.ttl b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.ttl
index ac5c1bc71367580ca74098b68ddf2c4963b3ef44..889d1a1e22b794aafaa664ca53694c0c584bbb92 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.ttl
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-15/SolarSystem-15.stog.amr.ttl
@@ -9,17 +9,17 @@ ns3:Concept a rdfs:Class ;
 ns3:Role a rdfs:Class ;
     rdfs:label "AMR-Role" .
 
+<http://amr.isi.edu/amr_data/SolarSystem-15#c2> a ns2:compose-01 ;
+    ns2:compose-01.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-15#o3> ;
+    ns2:compose-01.ARG2 <http://amr.isi.edu/amr_data/SolarSystem-15#a2> .
+
 <http://amr.isi.edu/amr_data/SolarSystem-15#l> a ns2:lie-07 ;
     ns2:lie-07.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-15#b> ;
     ns2:lie-07.ARG2 <http://amr.isi.edu/amr_data/SolarSystem-15#b2> .
 
-<http://amr.isi.edu/amr_data/SolarSystem-15#r2> a ns2:resemble-01 ;
-    ns2:resemble-01.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-15#c2> ;
-    ns2:resemble-01.ARG2 <http://amr.isi.edu/amr_data/SolarSystem-15#p3> .
-
 <http://amr.isi.edu/amr_data/SolarSystem-15#root01> a ns3:AMR ;
     ns3:has-id "SolarSystem-15" ;
-    ns3:has-sentence "The asteroid belt, which lies between the orbits of Mars and Jupiter, mostly contains objects composed, like the terrestrial planets, of rock and metal." ;
+    ns3:has-sentence "The asteroid belt, which lies between the orbits of Mars and Jupiter, contains objects composed of rock and metal." ;
     ns3:root <http://amr.isi.edu/amr_data/SolarSystem-15#c> .
 
 ns2:compose-01.ARG1 a ns2:FrameRole .
@@ -36,10 +36,6 @@ ns2:lie-07.ARG2 a ns2:FrameRole .
 
 ns2:orbit-01.ARG0 a ns2:FrameRole .
 
-ns2:resemble-01.ARG1 a ns2:FrameRole .
-
-ns2:resemble-01.ARG2 a ns2:FrameRole .
-
 ns1:mod a ns3:Role .
 
 ns1:op1 a ns3:Role .
@@ -58,17 +54,10 @@ ns1:op2 a ns3:Role .
 
 <http://amr.isi.edu/amr_data/SolarSystem-15#c> a ns2:contain-01 ;
     ns2:contain-01.ARG0 <http://amr.isi.edu/amr_data/SolarSystem-15#b> ;
-    ns2:contain-01.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-15#o3> ;
-    ns1:mod <http://amr.isi.edu/amr_data/SolarSystem-15#m2> .
-
-<http://amr.isi.edu/amr_data/SolarSystem-15#c2> a ns2:compose-01 ;
-    ns2:compose-01.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-15#o3> ;
-    ns2:compose-01.ARG2 <http://amr.isi.edu/amr_data/SolarSystem-15#a2> .
+    ns2:contain-01.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-15#o3> .
 
 <http://amr.isi.edu/amr_data/SolarSystem-15#m> a ns1:metal .
 
-<http://amr.isi.edu/amr_data/SolarSystem-15#m2> a ns3:most .
-
 <http://amr.isi.edu/amr_data/SolarSystem-15#o> a ns2:orbit-01 ;
     ns2:orbit-01.ARG0 <http://amr.isi.edu/amr_data/SolarSystem-15#p> .
 
@@ -81,21 +70,14 @@ ns1:op2 a ns3:Role .
 <http://amr.isi.edu/amr_data/SolarSystem-15#p2> a <http://amr.isi.edu/entity-types#planet> ;
     rdfs:label "Jupiter" .
 
-<http://amr.isi.edu/amr_data/SolarSystem-15#p3> a <http://amr.isi.edu/entity-types#planet> ;
-    ns1:mod <http://amr.isi.edu/amr_data/SolarSystem-15#t> .
-
 <http://amr.isi.edu/amr_data/SolarSystem-15#r> a ns1:rock .
 
-<http://amr.isi.edu/amr_data/SolarSystem-15#t> a ns1:terrestrial .
-
 ns2:compose-01 a ns3:Frame .
 
 ns2:contain-01 a ns3:Frame .
 
 ns2:lie-07 a ns3:Frame .
 
-ns2:resemble-01 a ns3:Frame .
-
 ns1:asteroid a ns3:Concept .
 
 ns1:belt a ns3:Concept .
@@ -106,8 +88,6 @@ ns1:object a ns3:Concept .
 
 ns1:rock a ns3:Concept .
 
-ns1:terrestrial a ns3:Concept .
-
 ns3:NamedEntity a ns3:Concept ;
     rdfs:label "AMR-EntityType",
         "AMR-Term" .
@@ -116,17 +96,15 @@ ns3:and a ns3:Concept .
 
 ns3:between a ns3:Concept .
 
-ns3:most a ns3:Concept .
-
 <http://amr.isi.edu/amr_data/SolarSystem-15#b> a ns1:belt ;
     ns1:mod <http://amr.isi.edu/amr_data/SolarSystem-15#a> .
 
 <http://amr.isi.edu/amr_data/SolarSystem-15#o3> a ns1:object .
 
-ns2:orbit-01 a ns3:Frame .
-
 <http://amr.isi.edu/entity-types#planet> a ns3:NamedEntity .
 
+ns2:orbit-01 a ns3:Frame .
+
 ns3:Frame a ns3:Concept ;
     rdfs:label "AMR-PropBank-Frame" .
 
diff --git a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_15.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_15.ttl
index b61984f12c84eab79f1e27f3750996c4aed90d1a..94d32c9e985460174d713c222d700054346f9c2e 100644
--- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_15.ttl
+++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_15.ttl
@@ -1,144 +1,276 @@
-@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
 @prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
 @prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+@base <http://www.w3.org/2002/07/owl#> .
+
+[ rdf:type owl:Ontology
+ ] .
+
+#################################################################
+#    Annotation properties
+#################################################################
+
+###  https://reference.tetras-libre.fr/base-ontology#fromStructure
+base:fromStructure rdf:type owl:AnnotationProperty .
+
+
+#################################################################
+#    Object Properties
+#################################################################
+
+###  https://reference.tetras-libre.fr/base-ontology#Out_ObjectProperty
+base:Out_ObjectProperty rdf:type owl:ObjectProperty .
+
+
+###  https://reference.tetras-libre.fr/expected-result#contain
+result:contain rdf:type owl:ObjectProperty ;
+               rdfs:subPropertyOf base:Out_ObjectProperty ;
+               rdfs:label "contain" ;
+               base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#hasFeature
+result:hasFeature rdf:type owl:ObjectProperty ;
+                  rdfs:subPropertyOf base:Out_ObjectProperty ;
+                  rdfs:label "hasFeature" ;
+                  base:fromStructure "predefinedProperty" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#hasLocation
+result:hasLocation rdf:type owl:ObjectProperty ;
+                   rdfs:subPropertyOf base:Out_ObjectProperty ;
+                   rdfs:label "hasLocation" ;
+                   base:fromStructure "predefinedProperty" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#hasOrbit
+result:hasOrbit rdf:type owl:ObjectProperty ;
+                rdfs:subPropertyOf base:Out_ObjectProperty ;
+                rdfs:label "hasOrbit" ;
+                base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#isBetween
+result:isBetween rdf:type owl:ObjectProperty ;
+                 rdfs:subPropertyOf base:Out_ObjectProperty ;
+                 rdfs:label "isBetween" ;
+                 base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#isComposedOf
+result:isComposedOf rdf:type owl:ObjectProperty ;
+                    rdfs:subPropertyOf base:Out_ObjectProperty ;
+                    rdfs:label "isComposedOf" ;
+                    base:fromStructure "SolarSystem-15" .
+
+
+#################################################################
+#    Classes
+#################################################################
+
+###  http://www.w3.org/2002/07/owl#Individual
+owl:Individual rdf:type owl:Class .
+
+
+###  https://reference.tetras-libre.fr/base-ontology#Entity
+base:Entity rdf:type owl:Class .
+
+
+###  https://reference.tetras-libre.fr/base-ontology#Feature
+base:Feature rdf:type owl:Class .
+
+
+###  https://reference.tetras-libre.fr/base-ontology#Location
+base:Location rdf:type owl:Class .
+
+
+###  https://reference.tetras-libre.fr/expected-result#asteroid-belt
+result:asteroid-belt rdf:type owl:Class ;
+                     rdfs:subClassOf result:belt ,
+                                     [ rdf:type owl:Restriction ;
+                                       owl:onProperty result:hasFeature ;
+                                       owl:hasValue result:asteroid
+                                     ] ;
+                     base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#asteroid-belt-contain-object
+result:asteroid-belt-contain-object rdf:type owl:Class ;
+                                    rdfs:subClassOf result:asteroid-belt ,
+                                                    [ rdf:type owl:Restriction ;
+                                                      owl:onProperty result:contain ;
+                                                      owl:someValuesFrom result:object
+                                                    ] ;
+                                    base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#asteroid-belt-contain-object-composedOf-metal
+result:asteroid-belt-contain-object-composedOf-metal rdf:type owl:Class ;
+                                                     rdfs:subClassOf result:asteroid-belt-contain-object ,
+                                                                     [ rdf:type owl:Restriction ;
+                                                                       owl:onProperty result:contain ;
+                                                                       owl:someValuesFrom result:object-composedOf-metal
+                                                                     ] ;
+                                                     base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#asteroid-belt-contain-object-composedOf-rock
+result:asteroid-belt-contain-object-composedOf-rock rdf:type owl:Class ;
+                                                    rdfs:subClassOf result:asteroid-belt-contain-object ,
+                                                                    [ rdf:type owl:Restriction ;
+                                                                      owl:onProperty result:contain ;
+                                                                      owl:someValuesFrom result:object-composedOf-rock
+                                                                    ] ;
+                                                    base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#belt
+result:belt rdf:type owl:Class ;
+            rdfs:subClassOf base:Entity ;
+            rdfs:label "belt" ;
+            base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#metal
+result:metal rdf:type owl:Class ;
+             rdfs:subClassOf base:Entity ;
+             rdfs:label "metal" ;
+             base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#object
+result:object rdf:type owl:Class ;
+              rdfs:subClassOf base:Entity ;
+              rdfs:label "object" ;
+              base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#object-composedOf-metal
+result:object-composedOf-metal rdf:type owl:Class ;
+                               rdfs:subClassOf result:object ,
+                                               [ rdf:type owl:Restriction ;
+                                                 owl:onProperty result:isComposedOf ;
+                                                 owl:someValuesFrom result:metal
+                                               ] ;
+                               base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#object-composedOf-rock
+result:object-composedOf-rock rdf:type owl:Class ;
+                              rdfs:subClassOf result:object ,
+                                              [ rdf:type owl:Restriction ;
+                                                owl:onProperty result:isComposedOf ;
+                                                owl:someValuesFrom result:rock
+                                              ] ;
+                              base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#orbit
+result:orbit rdf:type owl:Class ;
+             rdfs:subClassOf base:Entity ;
+             rdfs:label "orbit" ;
+             base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#orbit-of-planet
+result:orbit-of-planet rdf:type owl:Class ;
+                       rdfs:subClassOf result:orbit ;
+                       rdfs:label "orbit-of-planet" ;
+                       base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#planet
+result:planet rdf:type owl:Class ;
+              rdfs:subClassOf base:Entity ,
+                              [ rdf:type owl:Restriction ;
+                                owl:onProperty result:hasOrbit ;
+                                owl:someValuesFrom result:orbit-of-planet
+                              ] ;
+              rdfs:label "planet" ;
+              base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#rock
+result:rock rdf:type owl:Class ;
+            rdfs:subClassOf base:Entity ;
+            rdfs:label "rock" ;
+            base:fromStructure "SolarSystem-15" .
+
+
+#################################################################
+#    Individuals
+#################################################################
+
+###  https://reference.tetras-libre.fr/expected-result#Jupiter
+result:Jupiter rdf:type owl:NamedIndividual ,
+                        owl:Individual ,
+                        base:Entity ,
+                        result:planet ;
+               result:hasOrbit result:orbit-of-Jupiter ;
+               rdfs:label "Jupiter" ;
+               base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#Mars
+result:Mars rdf:type owl:NamedIndividual ,
+                     owl:Individual ,
+                     base:Entity ,
+                     result:planet ;
+            result:hasOrbit result:orbit-of-Mars ;
+            rdfs:label "Mars" ;
+            base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#asteroid
+result:asteroid rdf:type owl:NamedIndividual ,
+                         owl:Individual ,
+                         base:Feature ;
+                rdfs:label "asteroid" ;
+                base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#asteroid-belt-SolarSystem-15
+result:asteroid-belt-SolarSystem-15 rdf:type owl:NamedIndividual ,
+                                             owl:Individual ,
+                                             base:Entity ,
+                                             result:asteroid-belt ,
+                                             result:asteroid-belt-contain-object-composedOf-metal ,
+                                             result:asteroid-belt-contain-object-composedOf-rock ;
+                                    result:hasLocation result:location-SolarSystem-15 ;
+                                    rdfs:label "asteroid-belt-SolarSystem-15" ;
+                                    base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#location-SolarSystem-15
+result:location-SolarSystem-15 rdf:type owl:NamedIndividual ,
+                                        owl:Individual ,
+                                        base:Location ;
+                               result:isBetween result:orbit-of-Jupiter ,
+                                                result:orbit-of-Mars ;
+                               rdfs:label "location between orbit of Mars and orbit of Jupiter" ;
+                               base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#orbit-of-Jupiter
+result:orbit-of-Jupiter rdf:type owl:NamedIndividual ,
+                                 owl:Individual ,
+                                 base:Entity ,
+                                 result:orbit-of-planet ;
+                        rdfs:label "orbit-of-Jupiter" ;
+                        base:fromStructure "SolarSystem-15" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#orbit-of-Mars
+result:orbit-of-Mars rdf:type owl:NamedIndividual ,
+                              owl:Individual ,
+                              base:Entity ,
+                              result:orbit-of-planet ;
+                     rdfs:label "orbit-of-Mars" ;
+                     base:fromStructure "SolarSystem-15" .
 
-result:Jupiter a owl:Individual,
-        base:Entity,
-        result:planet ;
-    rdfs:label "Jupiter" ;
-    base:fromStructure "SolarSystem-15" .
-
-result:Mars a owl:Individual,
-        base:Entity,
-        result:planet ;
-    rdfs:label "Mars" ;
-    base:fromStructure "SolarSystem-15" .
-
-result:asteroid-belt-contain-object-compose-metal a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:contain ;
-            owl:someValuesFrom result:object-compose-metal ],
-        result:asteroid-belt-contain-object ;
-    base:fromStructure "SolarSystem-15" .
-
-result:asteroid-belt-contain-object-compose-rock a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:contain ;
-            owl:someValuesFrom result:object-compose-rock ],
-        result:asteroid-belt-contain-object ;
-    base:fromStructure "SolarSystem-15" .
-
-result:between a owl:ObjectProperty ;
-    rdfs:label "between" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-15" .
-
-result:lie a owl:ObjectProperty ;
-    rdfs:label "lie" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-15" .
-
-result:most a owl:ObjectProperty ;
-    rdfs:label "most" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-15" .
-
-result:orbit a owl:ObjectProperty ;
-    rdfs:label "orbit" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-15" .
-
-result:resemble a owl:ObjectProperty ;
-    rdfs:label "resemble" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-15" .
-
-result:terrestrial-planet a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:hasValue result:terrestrial ;
-            owl:onProperty result:hasFeature ],
-        result:planet ;
-    base:fromStructure "SolarSystem-15" .
-
-result:asteroid-belt a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:hasValue result:asteroid ;
-            owl:onProperty result:hasFeature ],
-        result:belt ;
-    base:fromStructure "SolarSystem-15" .
-
-result:belt a owl:Class ;
-    rdfs:label "belt" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "SolarSystem-15" .
-
-result:asteroid a owl:Individual,
-        base:Feature ;
-    rdfs:label "asteroid" ;
-    base:fromStructure "SolarSystem-15" .
-
-result:asteroid-belt-contain-object a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:contain ;
-            owl:someValuesFrom result:object ],
-        [ a owl:Restriction ;
-            owl:onProperty result:contain ;
-            owl:someValuesFrom result:object ],
-        result:asteroid-belt ;
-    base:fromStructure "SolarSystem-15" .
-
-result:metal a owl:Class ;
-    rdfs:label "metal" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "SolarSystem-15" .
-
-result:object-compose-metal a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:compose ;
-            owl:someValuesFrom result:metal ],
-        result:object ;
-    base:fromStructure "SolarSystem-15" .
-
-result:object-compose-rock a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:compose ;
-            owl:someValuesFrom result:rock ],
-        result:object ;
-    base:fromStructure "SolarSystem-15" .
-
-result:rock a owl:Class ;
-    rdfs:label "rock" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "SolarSystem-15" .
-
-result:terrestrial a owl:Individual,
-        base:Feature ;
-    rdfs:label "terrestrial" ;
-    base:fromStructure "SolarSystem-15" .
-
-result:planet a owl:Class ;
-    rdfs:label "planet" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "SolarSystem-15" .
-
-result:compose a owl:ObjectProperty ;
-    rdfs:label "compose" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-15" .
-
-result:hasFeature a owl:ObjectProperty ;
-    rdfs:label "hasFeature" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "predefinedProperty" .
-
-result:object a owl:Class ;
-    rdfs:label "object" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "SolarSystem-15" .
-
-result:contain a owl:ObjectProperty ;
-    rdfs:label "contain" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-15" .
 
+###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_16.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_16.ttl
index 61f993b62b7d61584877925d49984a3737890ce0..8b1ba7a0895affd52e1f8d13a4adf2f5b78c858d 100644
--- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_16.ttl
+++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_16.ttl
@@ -1,83 +1,184 @@
-@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
 @prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
 @prefix result: <https://reference.tetras-libre.fr/expected-result#> .
+@base <http://www.w3.org/2002/07/owl#> .
+
+[ rdf:type owl:Ontology
+ ] .
+
+#################################################################
+#    Annotation properties
+#################################################################
+
+###  https://reference.tetras-libre.fr/base-ontology#fromStructure
+base:fromStructure rdf:type owl:AnnotationProperty .
+
+
+###  https://reference.tetras-libre.fr/base-ontology#hasQuantity
+base:hasQuantity rdf:type owl:AnnotationProperty .
+
+
+#################################################################
+#    Object Properties
+#################################################################
+
+###  https://reference.tetras-libre.fr/base-ontology#Out_ObjectProperty
+base:Out_ObjectProperty rdf:type owl:ObjectProperty .
+
+
+###  https://reference.tetras-libre.fr/expected-result#hasFeature
+result:hasFeature rdf:type owl:ObjectProperty ;
+                  rdfs:subPropertyOf base:Out_ObjectProperty ;
+                  rdfs:label "hasFeature" ;
+                  base:fromStructure "predefinedProperty" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#hasLocation
+result:hasLocation rdf:type owl:ObjectProperty ;
+                   rdfs:subPropertyOf base:Out_ObjectProperty ;
+                   rdfs:label "hasLocation" ;
+                   base:fromStructure "predefinedProperty" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#hasOrbit
+result:hasOrbit rdf:type owl:ObjectProperty ;
+                rdfs:subPropertyOf base:Out_ObjectProperty ;
+                rdfs:label "hasOrbit" ;
+                base:fromStructure "SolarSystem-16" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#isBeyond
+result:isBeyond rdf:type owl:ObjectProperty ;
+                 rdfs:subPropertyOf base:Out_ObjectProperty ;
+                 rdfs:label "isBeyond" ;
+                 base:fromStructure "SolarSystem-16" .
+
+
+#################################################################
+#    Classes
+#################################################################
+
+###  http://www.w3.org/2002/07/owl#Individual
+owl:Individual rdf:type owl:Class .
+
+
+###  https://reference.tetras-libre.fr/base-ontology#Entity
+base:Entity rdf:type owl:Class .
+
+
+###  https://reference.tetras-libre.fr/base-ontology#Location
+base:Location rdf:type owl:Class .
+
+
+###  https://reference.tetras-libre.fr/expected-result#orbit
+result:orbit rdf:type owl:Class ;
+             rdfs:subClassOf base:Entity ;
+             rdfs:label "orbit" ;
+             base:fromStructure "SolarSystem-16" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#orbit-of-planet
+result:orbit-of-planet rdf:type owl:Class ;
+                       rdfs:subClassOf result:orbit ;
+                       rdfs:label "orbit-of-planet" ;
+                       base:fromStructure "SolarSystem-16" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#planet
+result:planet rdf:type owl:Class ;
+              rdfs:subClassOf base:Entity ,
+                              [ rdf:type owl:Restriction ;
+                                owl:onProperty result:hasOrbit ;
+                                owl:someValuesFrom result:orbit-of-planet
+                              ] ;
+              rdfs:label "planet" ;
+              base:fromStructure "SolarSystem-16" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#region
+result:region rdf:type owl:Class ;
+              rdfs:subClassOf base:Entity ;
+              rdfs:label "region" ;
+              base:hasQuantity 2 ;
+              base:fromStructure "SolarSystem-16" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#region-SolarSystem-16
+result:region-SolarSystem-16 rdf:type owl:Class ;
+              rdfs:subClassOf result:region ,
+                              [ rdf:type owl:Restriction ;
+                                owl:onProperty result:hasLocation ;
+                                owl:hasValue result:location-SolarSystem-16
+                              ] ;
+              rdfs:label "region (SolarSystem-16)" ;
+              base:hasQuantity 2 ;
+              base:fromStructure "SolarSystem-16" .
+
+
+#################################################################
+#    Individuals
+#################################################################
+
+###  https://reference.tetras-libre.fr/expected-result#KuiperBelt
+result:KuiperBelt rdf:type owl:NamedIndividual ,
+                           owl:Individual ,
+                           base:Entity ,
+                           result:region ,
+                           result:region-SolarSystem-16 ;
+                  rdfs:label "KuiperBelt" ;
+                  result:hasLocation result:location-SolarSystem-16 ;
+                  base:fromStructure "SolarSystem-16" .
+
+###  https://reference.tetras-libre.fr/expected-result#scattered-disk-SolarSystem-16
+result:scattered-disk-SolarSystem-16 rdf:type owl:NamedIndividual ,
+                           owl:Individual ,
+                           base:Entity ,
+                           result:region ,
+                           result:region-SolarSystem-16 ;
+                  rdfs:label "scattered disk (SolarSystem-16)" ;
+                  result:hasFeature result:scattered ;
+                  result:hasLocation result:location-SolarSystem-16 ;
+                  base:fromStructure "SolarSystem-16" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#Neptune
+result:Neptune rdf:type owl:NamedIndividual ,
+                        owl:Individual ,
+                        base:Entity ,
+                        result:planet ;
+               rdfs:label "Neptune" ;
+               result:hasOrbit result:orbit-of-Neptune ;
+               base:fromStructure "SolarSystem-16" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#orbit-of-Neptune
+result:orbit-of-Neptune rdf:type owl:NamedIndividual ,
+                                 owl:Individual ,
+                                 base:Entity ,
+                                 result:orbit-of-planet ;
+                        rdfs:label "orbit-of-Neptune" ;
+                        base:fromStructure "SolarSystem-16" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#scattered
+result:scattered rdf:type owl:NamedIndividual ,
+                         owl:Individual ,
+                         base:Feature ;
+                rdfs:label "scattered" ;
+                base:fromStructure "SolarSystem-16" .
+
+
+###  https://reference.tetras-libre.fr/expected-result#location-SolarSystem-16
+result:location-SolarSystem-16 rdf:type owl:NamedIndividual ,
+                                        owl:Individual ,
+                                        base:Location ;
+                               result:isBeyond result:orbit-of-Neptune ;
+                               rdfs:label "location beyond orbit of Nepture" ;
+                               base:fromStructure "SolarSystem-16" .
 
-result:Neptune a owl:Individual,
-        base:Entity,
-        result:planet ;
-    rdfs:label "Neptune" ;
-    base:fromStructure "SolarSystem-16" .
-
-result:beyond a owl:Class ;
-    rdfs:label "beyond" ;
-    rdfs:subClassOf base:Undetermined_Thing ;
-    base:fromStructure "SolarSystem-16" .
-
-result:hasFeature a owl:ObjectProperty ;
-    rdfs:label "hasFeature" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "predefinedProperty" .
-
-result:orbit a owl:ObjectProperty ;
-    rdfs:label "orbit" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-16" .
-
-result:region-SolarSystem-16 a owl:Individual,
-        base:Entity,
-        result:region-know-thing ;
-    rdfs:label "region (SolarSystem-16)" ;
-    base:fromStructure "SolarSystem-16" ;
-    result:know result:KuiperBelt .
-
-result:region-know-disk a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:know ;
-            owl:someValuesFrom result:disk ],
-        result:region ;
-    base:fromStructure "SolarSystem-16" .
-
-result:scatter a owl:ObjectProperty ;
-    rdfs:label "scatter" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-16" .
-
-result:KuiperBelt a owl:Individual,
-        base:Entity,
-        result:thing ;
-    rdfs:label "KuiperBelt" ;
-    base:fromStructure "SolarSystem-16" .
-
-result:planet a owl:Class ;
-    rdfs:label "planet" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "SolarSystem-16" .
-
-result:region-know-thing a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:know ;
-            owl:someValuesFrom result:thing ],
-        result:region ;
-    base:fromStructure "SolarSystem-16" .
-
-result:disk a owl:Class ;
-    rdfs:label "disk" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "SolarSystem-16" .
-
-result:region a owl:Class ;
-    rdfs:label "region" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "SolarSystem-16" .
-
-result:thing a owl:Class ;
-    rdfs:label "thing" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "SolarSystem-16" .
-
-result:know a owl:ObjectProperty ;
-    rdfs:label "know" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "SolarSystem-16" .
 
+###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi