diff --git a/SolarSystem-20231005/SolarSystem.sentence.txt b/SolarSystem-20231005/SolarSystem.sentence.txt
index 36805e65425fb8ce9b96bacf048ae08acef9b3d8..8ee589f9abe0a150648257484cc549fb5c15eb52 100644
--- a/SolarSystem-20231005/SolarSystem.sentence.txt
+++ b/SolarSystem-20231005/SolarSystem.sentence.txt
@@ -6,8 +6,8 @@ The vast majority of the system's mass is in the Sun.
The majority of the remaining mass is contained in Jupiter.
The four smaller inner system planets, Mercury, Venus, Earth and Mars, are terrestrial planets, being primarily composed of rock and metal.
The four outer system planets are giant planets, being substantially more massive than the terrestrial planets.
-The two largest planets, Jupiter and Saturn, are gas giants, being composed mainly of hydrogen and helium.
-The two outermost planets, Uranus and Neptune, are ice giants, being composed mainly of volatiles, such as water, ammonia and methane.
+The two largest planets, Jupiter and Saturn, are gas giant planets, being composed mainly of hydrogen and helium.
+The two outermost planets, Uranus and Neptune, are ice giant planets, being composed mainly of volatiles, such as water, ammonia and methane.
Volatiles are substances with relatively high melting points compared to hydrogen and helium.
All eight planets have almost circular orbits.
These orbits lie within a nearly flat disc called the ecliptic.
@@ -17,4 +17,4 @@ Beyond Neptune's orbit, there are two regions known as the Kuiper Belt and the s
The Kuiper Belt and the scattered disk contain objects primarily composed of ice.
Beyond Neptune's orbit, there is also objects called sednoids.
Six of the planets, and many of the smaller bodies are orbited by natural satellites, usually termed "moons".
-Outer planets are encircled by small objects and planetary rings of dust.
\ No newline at end of file
+Outer planets are encircled by small objects and planetary rings of dust.
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.dot b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.dot
index 19efedd8c85200514cfd84e2e76907e53c947985..c1256f260ae6c7cf4df64a65e14685a3310a6867 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.dot
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.dot
@@ -1,11 +1,12 @@
digraph amr_graph {
rankdir=LR size="12,8"
+ p [label="p/planet" shape=circle]
g [label="g/giant" shape=circle]
g2 [label="g2/gas" shape=circle]
a [label="a/and" shape=circle]
- p [label="p/planet" shape=circle]
- n [label="n/name" shape=circle]
p2 [label="p2/planet" shape=circle]
+ n [label="n/name" shape=circle]
+ p3 [label="p3/planet" shape=circle]
n2 [label="n2/name" shape=circle]
c [label="c/compose-01" shape=circle]
a2 [label="a2/and" shape=circle]
@@ -15,26 +16,27 @@ digraph amr_graph {
h3 [label="h3/have-degree-91" shape=circle]
l [label="l/large" shape=circle]
m2 [label="m2/most" shape=circle]
- p3 [label="p3/planet" shape=circle]
+ p4 [label="p4/planet" shape=circle]
+ p -> g [label=":mod"]
g -> g2 [label=":mod"]
- g -> a [label=":domain"]
- a -> p [label=":op1"]
- p -> n [label=":name"]
- a -> p2 [label=":op2"]
- p2 -> n2 [label=":name"]
+ p -> a [label=":domain"]
+ a -> p2 [label=":op1"]
+ p2 -> n [label=":name"]
+ a -> p3 [label=":op2"]
+ p3 -> n2 [label=":name"]
a -> c [label=":ARG1-of"]
c -> a2 [label=":ARG2"]
a2 -> h [label=":op1"]
a2 -> h2 [label=":op2"]
c -> m [label=":mod"]
- a -> h3 [label=":ARG1-of"]
+ p -> h3 [label=":ARG1-of"]
h3 -> l [label=":ARG2"]
h3 -> m2 [label=":ARG3"]
- h3 -> p3 [label=":ARG5"]
+ h3 -> p4 [label=":ARG5"]
node_0 [label="\"Jupiter\"" shape=rectangle]
n -> node_0 [label=":op1"]
node_1 [label="\"Saturn\"" shape=rectangle]
n2 -> node_1 [label=":op1"]
node_2 [label=2 shape=rectangle]
- p3 -> node_2 [label=":quant"]
+ p4 -> node_2 [label=":quant"]
}
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.nt b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.nt
index f7593d3336034532131dedf45c7af0d797af0a90..cc5952b0880ca0db659bf1ddbed2cded2f6b018f 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.nt
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.nt
@@ -1,66 +1,68 @@
-<http://amr.isi.edu/amr_data/SolarSystem-09#a2> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-09#h2> .
-<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-09#c> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-09#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/rdf/amr-terms#helium> <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/frames/ld/v1.2.2/have-degree-91> <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-09#g2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#gas> .
+<http://amr.isi.edu/amr_data/SolarSystem-09#h3> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-09#p> .
+<http://amr.isi.edu/amr_data/SolarSystem-09#p> <http://amr.isi.edu/rdf/amr-terms#domain> <http://amr.isi.edu/amr_data/SolarSystem-09#a> .
+<http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.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/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-09#p3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/entity-types#planet> .
+<http://amr.isi.edu/rdf/amr-terms#gas> <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/have-degree-91.ARG5> <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-09#p4> <http://amr.isi.edu/rdf/amr-terms#quant> "2" .
+<http://amr.isi.edu/rdf/amr-terms#main> <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-09#h> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#hydrogen> .
+<http://amr.isi.edu/amr_data/SolarSystem-09#a> <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-09#c> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-09#a> .
+<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-09#root01> <http://amr.isi.edu/rdf/core-amr#has-sentence> "The two largest planets, Jupiter and Saturn, are gas giant planets, being composed mainly of hydrogen and helium." .
+<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/amr_data/SolarSystem-09#a> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-09#p3> .
+<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-09#m> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#main> .
+<http://amr.isi.edu/amr_data/SolarSystem-09#c> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-09#m> .
<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/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-09#root01> <http://amr.isi.edu/rdf/core-amr#has-id> "SolarSystem-09" .
-<http://amr.isi.edu/amr_data/SolarSystem-09#h3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91> .
+<http://amr.isi.edu/rdf/core-amr#Role> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Role" .
<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-09#g2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#gas> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#h3> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG3> <http://amr.isi.edu/amr_data/SolarSystem-09#m2> .
-<http://amr.isi.edu/rdf/amr-terms#giant> <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-09#p> <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/have-degree-91.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-09#a2> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-09#h2> .
+<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/amr_data/SolarSystem-09#p4> <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-09#c> <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/have-degree-91> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Frame> .
+<http://amr.isi.edu/rdf/core-amr#Concept> <http://www.w3.org/2000/01/rdf-schema#label> "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/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/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-09#a2> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-09#h> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#p> <http://www.w3.org/2000/01/rdf-schema#label> "Jupiter" .
-<http://amr.isi.edu/amr_data/SolarSystem-09#h2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#helium> .
-<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-09#m> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#main> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#a> <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/have-degree-91.ARG3> <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-09#h3> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-09#l> .
+<http://amr.isi.edu/amr_data/SolarSystem-09#h3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91> .
+<http://amr.isi.edu/amr_data/SolarSystem-09#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#NamedEntity> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Term" .
+<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-09#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-09#h3> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG5> <http://amr.isi.edu/amr_data/SolarSystem-09#p4> .
<http://amr.isi.edu/amr_data/SolarSystem-09#a2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#and> .
-<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/amr_data/SolarSystem-09#root01> <http://amr.isi.edu/rdf/core-amr#root> <http://amr.isi.edu/amr_data/SolarSystem-09#g> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#h> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#hydrogen> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#m2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#most> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#h3> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG5> <http://amr.isi.edu/amr_data/SolarSystem-09#p3> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#l> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#large> .
-<http://amr.isi.edu/rdf/amr-terms#main> <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-09#a> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-09#p2> .
-<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-09#g> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#giant> .
-<http://amr.isi.edu/rdf/amr-terms#hydrogen> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/rdf/amr-terms#large> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<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/amr_data/SolarSystem-09#g> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-09#g2> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#g> <http://amr.isi.edu/rdf/amr-terms#domain> <http://amr.isi.edu/amr_data/SolarSystem-09#a> .
-<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/rdf/amr-terms#domain> <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-09#h3> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-09#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/have-degree-91.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#Role> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Role" .
-<http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG5> <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/have-degree-91.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/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/rdf/amr-terms#giant> <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-09#root01> <http://amr.isi.edu/rdf/core-amr#has-id> "SolarSystem-09" .
+<http://amr.isi.edu/amr_data/SolarSystem-09#p3> <http://www.w3.org/2000/01/rdf-schema#label> "Saturn" .
+<http://amr.isi.edu/amr_data/SolarSystem-09#root01> <http://amr.isi.edu/rdf/core-amr#root> <http://amr.isi.edu/amr_data/SolarSystem-09#p> .
<http://amr.isi.edu/amr_data/SolarSystem-09#root01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#AMR> .
-<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/rdf/amr-terms#gas> <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#NamedEntity> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-EntityType" .
-<http://amr.isi.edu/rdf/core-amr#NamedEntity> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Term" .
-<http://amr.isi.edu/amr_data/SolarSystem-09#root01> <http://amr.isi.edu/rdf/core-amr#has-sentence> "The two largest planets, Jupiter and Saturn, are gas giants, being composed mainly of hydrogen and helium." .
-<http://amr.isi.edu/amr_data/SolarSystem-09#h3> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-09#l> .
-<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-09#p2> <http://www.w3.org/2000/01/rdf-schema#label> "Saturn" .
-<http://amr.isi.edu/amr_data/SolarSystem-09#c> <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#domain> <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#helium> <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/rdf/core-amr#Frame> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-PropBank-Frame" .
+<http://amr.isi.edu/amr_data/SolarSystem-09#p> <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-09#h3> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG3> <http://amr.isi.edu/amr_data/SolarSystem-09#m2> .
+<http://amr.isi.edu/amr_data/SolarSystem-09#a> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-09#p2> .
+<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/amr_data/SolarSystem-09#p2> <http://www.w3.org/2000/01/rdf-schema#label> "Jupiter" .
+<http://amr.isi.edu/amr_data/SolarSystem-09#p> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-09#g> .
+<http://amr.isi.edu/amr_data/SolarSystem-09#h2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#helium> .
<http://amr.isi.edu/amr_data/SolarSystem-09#c> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-09#a2> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#p3> <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-09#a> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-09#p> .
-<http://amr.isi.edu/amr_data/SolarSystem-09#p3> <http://amr.isi.edu/rdf/amr-terms#quant> "2" .
+<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/rdf/amr-terms#large> <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#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/amr-terms#hydrogen> <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-09#l> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#large> .
+<http://amr.isi.edu/amr_data/SolarSystem-09#g> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-09#g2> .
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.penman b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.penman
index e0e7a05f0ab338346f56f3e4f078851e264cf4a0..0fd56c788ac8e2b30bef1c680ef5e86736ed9c7a 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.penman
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.penman
@@ -1,21 +1,22 @@
# ::id SolarSystem-09
-# ::snt The two largest planets, Jupiter and Saturn, are gas giants, being composed mainly of hydrogen and helium.
-(g / giant
- :mod (g2 / gas)
+# ::snt The two largest planets, Jupiter and Saturn, are gas giant planets, being composed mainly of hydrogen and helium.
+(p / planet
+ :mod (g / giant
+ :mod (g2 / gas))
:domain (a / and
- :op1 (p / planet
+ :op1 (p2 / planet
:name (n / name
:op1 "Jupiter"))
- :op2 (p2 / planet
+ :op2 (p3 / planet
:name (n2 / name
:op1 "Saturn"))
:ARG1-of (c / compose-01
:ARG2 (a2 / and
:op1 (h / hydrogen)
:op2 (h2 / helium))
- :mod (m / main))
- :ARG1-of (h3 / have-degree-91
- :ARG2 (l / large)
- :ARG3 (m2 / most)
- :ARG5 (p3 / planet
- :quant 2))))
\ No newline at end of file
+ :mod (m / main)))
+ :ARG1-of (h3 / have-degree-91
+ :ARG2 (l / large)
+ :ARG3 (m2 / most)
+ :ARG5 (p4 / planet
+ :quant 2)))
\ No newline at end of file
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.png b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.png
index 670d815475a580f0f413ae30b81a4d6043e1cdae..ad1822eed16e2fd71a98225a7132f6dba364a262 100644
Binary files a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.png and b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.png differ
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.svg b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.svg
index c1434faf199ec1e160e00f5dc5e444dd2f817b6e..7615f91f3d6cb3aad1ad74f71c2cc1cdd4979d07 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.svg
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.svg
@@ -4,250 +4,263 @@
<!-- Generated by graphviz version 9.0.0 (0)
-->
<!-- Title: amr_graph Pages: 1 -->
-<svg width="700pt" height="576pt"
- viewBox="0.00 0.00 700.22 576.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(0.695792 0.695792) rotate(0) translate(4 823.83)">
+<svg width="678pt" height="576pt"
+ viewBox="0.00 0.00 677.77 576.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(0.633007 0.633007) rotate(0) translate(4 905.94)">
<title>amr_graph</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-823.83 1002.36,-823.83 1002.36,4 -4,4"/>
-<!-- g -->
+<polygon fill="white" stroke="none" points="-4,4 -4,-905.94 1066.71,-905.94 1066.71,4 -4,4"/>
+<!-- p -->
<g id="node1" class="node">
-<title>g</title>
-<ellipse fill="none" stroke="black" cx="46.47" cy="-582.57" rx="46.47" ry="46.47"/>
-<text text-anchor="middle" x="46.47" y="-577.9" font-family="Times,serif" font-size="14.00">g/giant</text>
+<title>p</title>
+<ellipse fill="none" stroke="black" cx="52.26" cy="-601.57" rx="52.26" ry="52.26"/>
+<text text-anchor="middle" x="52.26" y="-596.9" font-family="Times,serif" font-size="14.00">p/planet</text>
</g>
-<!-- g2 -->
+<!-- g -->
<g id="node2" class="node">
-<title>g2</title>
-<ellipse fill="none" stroke="black" cx="230.31" cy="-632.57" rx="44.37" ry="44.37"/>
-<text text-anchor="middle" x="230.31" y="-627.9" font-family="Times,serif" font-size="14.00">g2/gas</text>
+<title>g</title>
+<ellipse fill="none" stroke="black" cx="307.87" cy="-803.57" rx="46.47" ry="46.47"/>
+<text text-anchor="middle" x="307.87" y="-798.9" font-family="Times,serif" font-size="14.00">g/giant</text>
</g>
-<!-- g->g2 -->
+<!-- p->g -->
<g id="edge1" class="edge">
-<title>g->g2</title>
-<path fill="none" stroke="black" d="M91.49,-594.68C117.08,-601.71 149.5,-610.63 176.46,-618.04"/>
-<polygon fill="black" stroke="black" points="175.24,-621.33 185.81,-620.61 177.09,-614.58 175.24,-621.33"/>
-<text text-anchor="middle" x="139.45" y="-618.52" font-family="Times,serif" font-size="14.00">:mod</text>
+<title>p->g</title>
+<path fill="none" stroke="black" d="M93.73,-633.8C139.71,-670.43 214.53,-730.03 262.19,-767.99"/>
+<polygon fill="black" stroke="black" points="259.87,-770.61 269.87,-774.11 264.23,-765.14 259.87,-770.61"/>
+<text text-anchor="middle" x="154.02" y="-706.52" font-family="Times,serif" font-size="14.00">:mod</text>
</g>
<!-- a -->
-<g id="node3" class="node">
+<g id="node4" class="node">
<title>a</title>
-<ellipse fill="none" stroke="black" cx="230.31" cy="-531.57" rx="38.58" ry="38.58"/>
-<text text-anchor="middle" x="230.31" y="-526.9" font-family="Times,serif" font-size="14.00">a/and</text>
+<ellipse fill="none" stroke="black" cx="307.87" cy="-601.57" rx="38.58" ry="38.58"/>
+<text text-anchor="middle" x="307.87" y="-596.9" font-family="Times,serif" font-size="14.00">a/and</text>
</g>
-<!-- g->a -->
-<g id="edge2" class="edge">
-<title>g->a</title>
-<path fill="none" stroke="black" d="M91.49,-570.23C118.87,-562.55 154.05,-552.68 182.02,-544.84"/>
-<polygon fill="black" stroke="black" points="182.6,-548.31 191.28,-542.24 180.71,-541.57 182.6,-548.31"/>
-<text text-anchor="middle" x="139.45" y="-568.52" font-family="Times,serif" font-size="14.00">:domain</text>
+<!-- p->a -->
+<g id="edge3" class="edge">
+<title>p->a</title>
+<path fill="none" stroke="black" d="M104.89,-601.57C149.56,-601.57 213.71,-601.57 257.65,-601.57"/>
+<polygon fill="black" stroke="black" points="257.41,-605.07 267.41,-601.57 257.41,-598.07 257.41,-605.07"/>
+<text text-anchor="middle" x="154.02" y="-605.52" font-family="Times,serif" font-size="14.00">:domain</text>
</g>
-<!-- p -->
-<g id="node4" class="node">
-<title>p</title>
-<ellipse fill="none" stroke="black" cx="478.03" cy="-767.57" rx="52.26" ry="52.26"/>
-<text text-anchor="middle" x="478.03" y="-762.9" font-family="Times,serif" font-size="14.00">p/planet</text>
+<!-- h3 -->
+<g id="node14" class="node">
+<title>h3</title>
+<ellipse fill="none" stroke="black" cx="307.87" cy="-247.57" rx="104.35" ry="104.35"/>
+<text text-anchor="middle" x="307.87" y="-242.9" font-family="Times,serif" font-size="14.00">h3/have-degree-91</text>
</g>
-<!-- a->p -->
-<g id="edge3" class="edge">
-<title>a->p</title>
-<path fill="none" stroke="black" d="M257.62,-559.47C263.41,-565.94 269.38,-572.88 274.68,-579.57 283.41,-590.59 284.28,-594.31 292.68,-605.57 327.08,-651.7 330.2,-668.89 373.68,-706.57 387.83,-718.83 404.78,-730 420.82,-739.33"/>
-<polygon fill="black" stroke="black" points="418.91,-742.28 429.34,-744.16 422.36,-736.18 418.91,-742.28"/>
-<text text-anchor="middle" x="324.18" y="-693.52" font-family="Times,serif" font-size="14.00">:op1</text>
+<!-- p->h3 -->
+<g id="edge13" class="edge">
+<title>p->h3</title>
+<path fill="none" stroke="black" d="M83.6,-559.22C121.99,-505.63 189.21,-411.8 239.89,-341.06"/>
+<polygon fill="black" stroke="black" points="242.44,-343.51 245.42,-333.34 236.75,-339.43 242.44,-343.51"/>
+<text text-anchor="middle" x="154.02" y="-500.52" font-family="Times,serif" font-size="14.00">:ARG1-of</text>
+</g>
+<!-- g2 -->
+<g id="node3" class="node">
+<title>g2</title>
+<ellipse fill="none" stroke="black" cx="590.3" cy="-857.57" rx="44.37" ry="44.37"/>
+<text text-anchor="middle" x="590.3" y="-852.9" font-family="Times,serif" font-size="14.00">g2/gas</text>
+</g>
+<!-- g->g2 -->
+<g id="edge2" class="edge">
+<title>g->g2</title>
+<path fill="none" stroke="black" d="M353.92,-812.25C403.4,-821.78 482.8,-837.07 535.51,-847.22"/>
+<polygon fill="black" stroke="black" points="534.69,-850.62 545.17,-849.08 536.01,-843.75 534.69,-850.62"/>
+<text text-anchor="middle" x="461.71" y="-841.52" font-family="Times,serif" font-size="14.00">:mod</text>
</g>
<!-- p2 -->
-<g id="node6" class="node">
+<g id="node5" class="node">
<title>p2</title>
-<ellipse fill="none" stroke="black" cx="478.03" cy="-638.57" rx="58.57" ry="58.57"/>
-<text text-anchor="middle" x="478.03" y="-633.9" font-family="Times,serif" font-size="14.00">p2/planet</text>
+<ellipse fill="none" stroke="black" cx="590.3" cy="-736.57" rx="58.57" ry="58.57"/>
+<text text-anchor="middle" x="590.3" y="-731.9" font-family="Times,serif" font-size="14.00">p2/planet</text>
</g>
<!-- a->p2 -->
-<g id="edge5" class="edge">
+<g id="edge4" class="edge">
<title>a->p2</title>
-<path fill="none" stroke="black" d="M266.26,-546.79C304.57,-563.47 366.82,-590.58 413.76,-611.02"/>
-<polygon fill="black" stroke="black" points="412.18,-614.15 422.75,-614.94 414.98,-607.73 412.18,-614.15"/>
-<text text-anchor="middle" x="324.18" y="-588.52" font-family="Times,serif" font-size="14.00">:op2</text>
+<path fill="none" stroke="black" d="M343.25,-618.13C388.83,-640.07 470.07,-679.17 526.68,-706.43"/>
+<polygon fill="black" stroke="black" points="525.05,-709.53 535.58,-710.71 528.09,-703.22 525.05,-709.53"/>
+<text text-anchor="middle" x="461.71" y="-692.52" font-family="Times,serif" font-size="14.00">:op1</text>
+</g>
+<!-- p3 -->
+<g id="node7" class="node">
+<title>p3</title>
+<ellipse fill="none" stroke="black" cx="590.3" cy="-601.57" rx="58.57" ry="58.57"/>
+<text text-anchor="middle" x="590.3" y="-596.9" font-family="Times,serif" font-size="14.00">p3/planet</text>
+</g>
+<!-- a->p3 -->
+<g id="edge6" class="edge">
+<title>a->p3</title>
+<path fill="none" stroke="black" d="M346.69,-601.57C391,-601.57 465.32,-601.57 520.05,-601.57"/>
+<polygon fill="black" stroke="black" points="519.9,-605.07 529.9,-601.57 519.9,-598.07 519.9,-605.07"/>
+<text text-anchor="middle" x="461.71" y="-605.52" font-family="Times,serif" font-size="14.00">:op2</text>
</g>
<!-- c -->
-<g id="node8" class="node">
+<g id="node9" class="node">
<title>c</title>
-<ellipse fill="none" stroke="black" cx="478.03" cy="-482.57" rx="79.09" ry="79.09"/>
-<text text-anchor="middle" x="478.03" y="-477.9" font-family="Times,serif" font-size="14.00">c/compose-01</text>
+<ellipse fill="none" stroke="black" cx="590.3" cy="-445.57" rx="79.09" ry="79.09"/>
+<text text-anchor="middle" x="590.3" y="-440.9" font-family="Times,serif" font-size="14.00">c/compose-01</text>
</g>
<!-- a->c -->
-<g id="edge7" class="edge">
+<g id="edge8" class="edge">
<title>a->c</title>
-<path fill="none" stroke="black" d="M268.63,-524.13C300.48,-517.78 347.56,-508.39 388.92,-500.14"/>
-<polygon fill="black" stroke="black" points="389.53,-503.59 398.65,-498.2 388.16,-496.73 389.53,-503.59"/>
-<text text-anchor="middle" x="324.18" y="-521.52" font-family="Times,serif" font-size="14.00">:ARG1-of</text>
-</g>
-<!-- h3 -->
-<g id="node13" class="node">
-<title>h3</title>
-<ellipse fill="none" stroke="black" cx="478.03" cy="-237.57" rx="104.35" ry="104.35"/>
-<text text-anchor="middle" x="478.03" y="-232.9" font-family="Times,serif" font-size="14.00">h3/have-degree-91</text>
-</g>
-<!-- a->h3 -->
-<g id="edge12" class="edge">
-<title>a->h3</title>
-<path fill="none" stroke="black" d="M255.77,-502.31C289.79,-461.61 352.84,-386.16 402.97,-326.19"/>
-<polygon fill="black" stroke="black" points="405.56,-328.54 409.29,-318.62 400.19,-324.05 405.56,-328.54"/>
-<text text-anchor="middle" x="324.18" y="-456.52" font-family="Times,serif" font-size="14.00">:ARG1-of</text>
+<path fill="none" stroke="black" d="M342.14,-583.07C383.47,-560.07 455.33,-520.1 510.95,-489.16"/>
+<polygon fill="black" stroke="black" points="512.42,-492.34 519.46,-484.42 509.02,-486.23 512.42,-492.34"/>
+<text text-anchor="middle" x="461.71" y="-536.52" font-family="Times,serif" font-size="14.00">:ARG1-of</text>
</g>
<!-- n -->
-<g id="node5" class="node">
+<g id="node6" class="node">
<title>n</title>
-<ellipse fill="none" stroke="black" cx="721.95" cy="-767.57" rx="48.05" ry="48.05"/>
-<text text-anchor="middle" x="721.95" y="-762.9" font-family="Times,serif" font-size="14.00">n/name</text>
+<ellipse fill="none" stroke="black" cx="805.51" cy="-736.57" rx="48.05" ry="48.05"/>
+<text text-anchor="middle" x="805.51" y="-731.9" font-family="Times,serif" font-size="14.00">n/name</text>
</g>
-<!-- p->n -->
-<g id="edge4" class="edge">
-<title>p->n</title>
-<path fill="none" stroke="black" d="M530.63,-767.57C569.15,-767.57 621.85,-767.57 662.02,-767.57"/>
-<polygon fill="black" stroke="black" points="662.02,-771.07 672.02,-767.57 662.02,-764.07 662.02,-771.07"/>
-<text text-anchor="middle" x="622.87" y="-771.52" font-family="Times,serif" font-size="14.00">:name</text>
+<!-- p2->n -->
+<g id="edge5" class="edge">
+<title>p2->n</title>
+<path fill="none" stroke="black" d="M649.28,-736.57C679.24,-736.57 715.72,-736.57 745.79,-736.57"/>
+<polygon fill="black" stroke="black" points="745.46,-740.07 755.46,-736.57 745.46,-733.07 745.46,-740.07"/>
+<text text-anchor="middle" x="710.27" y="-740.52" font-family="Times,serif" font-size="14.00">:name</text>
</g>
<!-- node_0 -->
-<g id="node17" class="node">
+<g id="node18" class="node">
<title>node_0</title>
-<polygon fill="none" stroke="black" points="969.44,-785.57 891.19,-785.57 891.19,-749.57 969.44,-749.57 969.44,-785.57"/>
-<text text-anchor="middle" x="930.31" y="-762.9" font-family="Times,serif" font-size="14.00">"Jupiter"</text>
+<polygon fill="none" stroke="black" points="1033.79,-754.57 955.54,-754.57 955.54,-718.57 1033.79,-718.57 1033.79,-754.57"/>
+<text text-anchor="middle" x="994.67" y="-731.9" font-family="Times,serif" font-size="14.00">"Jupiter"</text>
</g>
<!-- n->node_0 -->
-<g id="edge16" class="edge">
+<g id="edge17" class="edge">
<title>n->node_0</title>
-<path fill="none" stroke="black" d="M770.29,-767.57C802.97,-767.57 846.34,-767.57 879.54,-767.57"/>
-<polygon fill="black" stroke="black" points="879.31,-771.07 889.31,-767.57 879.31,-764.07 879.31,-771.07"/>
-<text text-anchor="middle" x="821.4" y="-771.52" font-family="Times,serif" font-size="14.00">:op1</text>
+<path fill="none" stroke="black" d="M853.74,-736.57C881.34,-736.57 916.14,-736.57 944.13,-736.57"/>
+<polygon fill="black" stroke="black" points="943.76,-740.07 953.76,-736.57 943.76,-733.07 943.76,-740.07"/>
+<text text-anchor="middle" x="893.25" y="-740.52" font-family="Times,serif" font-size="14.00">:op1</text>
</g>
<!-- n2 -->
-<g id="node7" class="node">
+<g id="node8" class="node">
<title>n2</title>
-<ellipse fill="none" stroke="black" cx="721.95" cy="-643.57" rx="54.36" ry="54.36"/>
-<text text-anchor="middle" x="721.95" y="-638.9" font-family="Times,serif" font-size="14.00">n2/name</text>
+<ellipse fill="none" stroke="black" cx="805.51" cy="-601.57" rx="54.36" ry="54.36"/>
+<text text-anchor="middle" x="805.51" y="-596.9" font-family="Times,serif" font-size="14.00">n2/name</text>
</g>
-<!-- p2->n2 -->
-<g id="edge6" class="edge">
-<title>p2->n2</title>
-<path fill="none" stroke="black" d="M536.97,-639.77C572.82,-640.51 618.92,-641.46 656,-642.23"/>
-<polygon fill="black" stroke="black" points="655.62,-645.72 665.69,-642.43 655.76,-638.73 655.62,-645.72"/>
-<text text-anchor="middle" x="622.87" y="-645.52" font-family="Times,serif" font-size="14.00">:name</text>
+<!-- p3->n2 -->
+<g id="edge7" class="edge">
+<title>p3->n2</title>
+<path fill="none" stroke="black" d="M649.28,-601.57C677.26,-601.57 710.92,-601.57 739.74,-601.57"/>
+<polygon fill="black" stroke="black" points="739.42,-605.07 749.42,-601.57 739.42,-598.07 739.42,-605.07"/>
+<text text-anchor="middle" x="710.27" y="-605.52" font-family="Times,serif" font-size="14.00">:name</text>
</g>
<!-- node_1 -->
-<g id="node18" class="node">
+<g id="node19" class="node">
<title>node_1</title>
-<polygon fill="none" stroke="black" points="969.44,-661.57 891.19,-661.57 891.19,-625.57 969.44,-625.57 969.44,-661.57"/>
-<text text-anchor="middle" x="930.31" y="-638.9" font-family="Times,serif" font-size="14.00">"Saturn"</text>
+<polygon fill="none" stroke="black" points="1033.79,-619.57 955.54,-619.57 955.54,-583.57 1033.79,-583.57 1033.79,-619.57"/>
+<text text-anchor="middle" x="994.67" y="-596.9" font-family="Times,serif" font-size="14.00">"Saturn"</text>
</g>
<!-- n2->node_1 -->
-<g id="edge17" class="edge">
+<g id="edge18" class="edge">
<title>n2->node_1</title>
-<path fill="none" stroke="black" d="M776.63,-643.57C808.4,-643.57 848.37,-643.57 879.45,-643.57"/>
-<polygon fill="black" stroke="black" points="879.37,-647.07 889.37,-643.57 879.37,-640.07 879.37,-647.07"/>
-<text text-anchor="middle" x="821.4" y="-647.52" font-family="Times,serif" font-size="14.00">:op1</text>
+<path fill="none" stroke="black" d="M860.14,-601.57C886.46,-601.57 917.98,-601.57 943.78,-601.57"/>
+<polygon fill="black" stroke="black" points="943.68,-605.07 953.67,-601.57 943.67,-598.07 943.68,-605.07"/>
+<text text-anchor="middle" x="893.25" y="-605.52" font-family="Times,serif" font-size="14.00">:op1</text>
</g>
<!-- a2 -->
-<g id="node9" class="node">
+<g id="node10" class="node">
<title>a2</title>
-<ellipse fill="none" stroke="black" cx="721.95" cy="-526.57" rx="44.89" ry="44.89"/>
-<text text-anchor="middle" x="721.95" y="-521.9" font-family="Times,serif" font-size="14.00">a2/and</text>
+<ellipse fill="none" stroke="black" cx="805.51" cy="-465.57" rx="44.89" ry="44.89"/>
+<text text-anchor="middle" x="805.51" y="-460.9" font-family="Times,serif" font-size="14.00">a2/and</text>
</g>
<!-- c->a2 -->
-<g id="edge8" class="edge">
+<g id="edge9" class="edge">
<title>c->a2</title>
-<path fill="none" stroke="black" d="M556.24,-496.62C592.11,-503.14 633.91,-510.74 666.43,-516.66"/>
-<polygon fill="black" stroke="black" points="665.57,-520.06 676.03,-518.4 666.82,-513.17 665.57,-520.06"/>
-<text text-anchor="middle" x="622.87" y="-515.52" font-family="Times,serif" font-size="14.00">:ARG2</text>
+<path fill="none" stroke="black" d="M669.48,-452.91C695.95,-455.39 724.94,-458.11 749.26,-460.39"/>
+<polygon fill="black" stroke="black" points="748.64,-463.85 758.92,-461.3 749.29,-456.88 748.64,-463.85"/>
+<text text-anchor="middle" x="710.27" y="-461.52" font-family="Times,serif" font-size="14.00">:ARG2</text>
</g>
<!-- m -->
-<g id="node12" class="node">
+<g id="node13" class="node">
<title>m</title>
-<ellipse fill="none" stroke="black" cx="721.95" cy="-415.57" rx="48.58" ry="48.58"/>
-<text text-anchor="middle" x="721.95" y="-410.9" font-family="Times,serif" font-size="14.00">m/main</text>
+<ellipse fill="none" stroke="black" cx="805.51" cy="-354.57" rx="48.58" ry="48.58"/>
+<text text-anchor="middle" x="805.51" y="-349.9" font-family="Times,serif" font-size="14.00">m/main</text>
</g>
<!-- c->m -->
-<g id="edge11" class="edge">
+<g id="edge12" class="edge">
<title>c->m</title>
-<path fill="none" stroke="black" d="M554.58,-461.65C589.95,-451.85 631.39,-440.38 664.06,-431.33"/>
-<polygon fill="black" stroke="black" points="664.62,-434.81 673.32,-428.76 662.75,-428.06 664.62,-434.81"/>
-<text text-anchor="middle" x="622.87" y="-450.52" font-family="Times,serif" font-size="14.00">:mod</text>
+<path fill="none" stroke="black" d="M663.48,-414.77C691.73,-402.71 723.58,-389.11 749.86,-377.9"/>
+<polygon fill="black" stroke="black" points="751.17,-381.15 758.99,-374 748.42,-374.71 751.17,-381.15"/>
+<text text-anchor="middle" x="710.27" y="-406.52" font-family="Times,serif" font-size="14.00">:mod</text>
</g>
<!-- h -->
-<g id="node10" class="node">
+<g id="node11" class="node">
<title>h</title>
-<ellipse fill="none" stroke="black" cx="930.31" cy="-532.57" rx="68.04" ry="68.04"/>
-<text text-anchor="middle" x="930.31" y="-527.9" font-family="Times,serif" font-size="14.00">h/hydrogen</text>
+<ellipse fill="none" stroke="black" cx="994.67" cy="-481.57" rx="68.04" ry="68.04"/>
+<text text-anchor="middle" x="994.67" y="-476.9" font-family="Times,serif" font-size="14.00">h/hydrogen</text>
</g>
<!-- a2->h -->
-<g id="edge9" class="edge">
+<g id="edge10" class="edge">
<title>a2->h</title>
-<path fill="none" stroke="black" d="M767.22,-527.86C791.47,-528.57 822.25,-529.46 850.47,-530.28"/>
-<polygon fill="black" stroke="black" points="850.34,-533.78 860.44,-530.57 850.55,-526.78 850.34,-533.78"/>
-<text text-anchor="middle" x="821.4" y="-533.52" font-family="Times,serif" font-size="14.00">:op1</text>
+<path fill="none" stroke="black" d="M850.39,-469.32C869.71,-470.98 893.01,-472.97 915.16,-474.86"/>
+<polygon fill="black" stroke="black" points="914.84,-478.35 925.1,-475.71 915.44,-471.37 914.84,-478.35"/>
+<text text-anchor="middle" x="893.25" y="-477.52" font-family="Times,serif" font-size="14.00">:op1</text>
</g>
<!-- h2 -->
-<g id="node11" class="node">
+<g id="node12" class="node">
<title>h2</title>
-<ellipse fill="none" stroke="black" cx="930.31" cy="-385.57" rx="61.2" ry="61.2"/>
-<text text-anchor="middle" x="930.31" y="-380.9" font-family="Times,serif" font-size="14.00">h2/helium</text>
+<ellipse fill="none" stroke="black" cx="994.67" cy="-334.57" rx="61.2" ry="61.2"/>
+<text text-anchor="middle" x="994.67" y="-329.9" font-family="Times,serif" font-size="14.00">h2/helium</text>
</g>
<!-- a2->h2 -->
-<g id="edge10" class="edge">
+<g id="edge11" class="edge">
<title>a2->h2</title>
-<path fill="none" stroke="black" d="M759.37,-501.69C789.96,-480.79 834.27,-450.51 869.98,-426.12"/>
-<polygon fill="black" stroke="black" points="871.79,-429.11 878.08,-420.58 867.84,-423.33 871.79,-429.11"/>
-<text text-anchor="middle" x="821.4" y="-476.52" font-family="Times,serif" font-size="14.00">:op2</text>
+<path fill="none" stroke="black" d="M842.6,-440.32C868.68,-422.06 904.5,-396.98 934.72,-375.84"/>
+<polygon fill="black" stroke="black" points="936.47,-378.88 942.66,-370.28 932.46,-373.15 936.47,-378.88"/>
+<text text-anchor="middle" x="893.25" y="-415.52" font-family="Times,serif" font-size="14.00">:op2</text>
</g>
<!-- l -->
-<g id="node14" class="node">
+<g id="node15" class="node">
<title>l</title>
-<ellipse fill="none" stroke="black" cx="721.95" cy="-305.57" rx="43.32" ry="43.32"/>
-<text text-anchor="middle" x="721.95" y="-300.9" font-family="Times,serif" font-size="14.00">l/large</text>
+<ellipse fill="none" stroke="black" cx="590.3" cy="-305.57" rx="43.32" ry="43.32"/>
+<text text-anchor="middle" x="590.3" y="-300.9" font-family="Times,serif" font-size="14.00">l/large</text>
</g>
<!-- h3->l -->
-<g id="edge13" class="edge">
+<g id="edge14" class="edge">
<title>h3->l</title>
-<path fill="none" stroke="black" d="M578.82,-265.62C609.8,-274.33 642.69,-283.58 669.02,-290.98"/>
-<polygon fill="black" stroke="black" points="667.84,-294.28 678.42,-293.62 669.74,-287.54 667.84,-294.28"/>
-<text text-anchor="middle" x="622.87" y="-287.52" font-family="Times,serif" font-size="14.00">:ARG2</text>
+<path fill="none" stroke="black" d="M410.51,-268.59C453.22,-277.43 501.12,-287.34 536.58,-294.67"/>
+<polygon fill="black" stroke="black" points="535.65,-298.05 546.15,-296.65 537.07,-291.2 535.65,-298.05"/>
+<text text-anchor="middle" x="461.71" y="-288.52" font-family="Times,serif" font-size="14.00">:ARG2</text>
</g>
<!-- m2 -->
-<g id="node15" class="node">
+<g id="node16" class="node">
<title>m2</title>
-<ellipse fill="none" stroke="black" cx="721.95" cy="-189.57" rx="54.89" ry="54.89"/>
-<text text-anchor="middle" x="721.95" y="-184.9" font-family="Times,serif" font-size="14.00">m2/most</text>
+<ellipse fill="none" stroke="black" cx="590.3" cy="-189.57" rx="54.89" ry="54.89"/>
+<text text-anchor="middle" x="590.3" y="-184.9" font-family="Times,serif" font-size="14.00">m2/most</text>
</g>
<!-- h3->m2 -->
-<g id="edge14" class="edge">
+<g id="edge15" class="edge">
<title>h3->m2</title>
-<path fill="none" stroke="black" d="M580.57,-217.43C606.35,-212.31 633.34,-206.96 656.69,-202.32"/>
-<polygon fill="black" stroke="black" points="657.22,-205.79 666.35,-200.41 655.86,-198.92 657.22,-205.79"/>
-<text text-anchor="middle" x="622.87" y="-215.52" font-family="Times,serif" font-size="14.00">:ARG3</text>
+<path fill="none" stroke="black" d="M410.51,-226.55C448.81,-218.63 491.28,-209.85 525.22,-202.83"/>
+<polygon fill="black" stroke="black" points="525.81,-206.28 534.9,-200.83 524.4,-199.42 525.81,-206.28"/>
+<text text-anchor="middle" x="461.71" y="-225.52" font-family="Times,serif" font-size="14.00">:ARG3</text>
</g>
-<!-- p3 -->
-<g id="node16" class="node">
-<title>p3</title>
-<ellipse fill="none" stroke="black" cx="721.95" cy="-58.57" rx="58.57" ry="58.57"/>
-<text text-anchor="middle" x="721.95" y="-53.9" font-family="Times,serif" font-size="14.00">p3/planet</text>
+<!-- p4 -->
+<g id="node17" class="node">
+<title>p4</title>
+<ellipse fill="none" stroke="black" cx="590.3" cy="-58.57" rx="58.57" ry="58.57"/>
+<text text-anchor="middle" x="590.3" y="-53.9" font-family="Times,serif" font-size="14.00">p4/planet</text>
</g>
-<!-- h3->p3 -->
-<g id="edge15" class="edge">
-<title>h3->p3</title>
-<path fill="none" stroke="black" d="M562.62,-175.72C596.53,-150.63 634.79,-122.32 665.2,-99.82"/>
-<polygon fill="black" stroke="black" points="667.2,-102.69 673.16,-93.93 663.04,-97.07 667.2,-102.69"/>
-<text text-anchor="middle" x="622.87" y="-146.52" font-family="Times,serif" font-size="14.00">:ARG5</text>
+<!-- h3->p4 -->
+<g id="edge16" class="edge">
+<title>h3->p4</title>
+<path fill="none" stroke="black" d="M394.91,-189.58C439.48,-159.55 492.68,-123.69 532.14,-97.1"/>
+<polygon fill="black" stroke="black" points="533.77,-100.22 540.11,-91.73 529.86,-94.42 533.77,-100.22"/>
+<text text-anchor="middle" x="461.71" y="-167.52" font-family="Times,serif" font-size="14.00">:ARG5</text>
</g>
<!-- node_2 -->
-<g id="node19" class="node">
+<g id="node20" class="node">
<title>node_2</title>
-<polygon fill="none" stroke="black" points="957.31,-76.57 903.31,-76.57 903.31,-40.57 957.31,-40.57 957.31,-76.57"/>
-<text text-anchor="middle" x="930.31" y="-53.9" font-family="Times,serif" font-size="14.00">2</text>
-</g>
-<!-- p3->node_2 -->
-<g id="edge18" class="edge">
-<title>p3->node_2</title>
-<path fill="none" stroke="black" d="M780.98,-58.57C816.5,-58.57 860.91,-58.57 891.84,-58.57"/>
-<polygon fill="black" stroke="black" points="891.47,-62.07 901.47,-58.57 891.47,-55.07 891.47,-62.07"/>
-<text text-anchor="middle" x="821.4" y="-62.52" font-family="Times,serif" font-size="14.00">:quant</text>
+<polygon fill="none" stroke="black" points="832.51,-76.57 778.51,-76.57 778.51,-40.57 832.51,-40.57 832.51,-76.57"/>
+<text text-anchor="middle" x="805.51" y="-53.9" font-family="Times,serif" font-size="14.00">2</text>
+</g>
+<!-- p4->node_2 -->
+<g id="edge19" class="edge">
+<title>p4->node_2</title>
+<path fill="none" stroke="black" d="M649.28,-58.57C686.73,-58.57 734.37,-58.57 766.93,-58.57"/>
+<polygon fill="black" stroke="black" points="766.69,-62.07 776.69,-58.57 766.69,-55.07 766.69,-62.07"/>
+<text text-anchor="middle" x="710.27" y="-62.52" font-family="Times,serif" font-size="14.00">:quant</text>
</g>
</g>
</svg>
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.ttl b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.ttl
index eb59d8a780ebf2444eb313c8e5a879d4284d584e..a5b57db271f0ddc738a4af1d52c09667b8046546 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.ttl
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-09/SolarSystem-09.stog.amr.ttl
@@ -15,15 +15,15 @@ ns2:Role a rdfs:Class ;
ns1:mod <http://amr.isi.edu/amr_data/SolarSystem-09#m> .
<http://amr.isi.edu/amr_data/SolarSystem-09#h3> a ns3:have-degree-91 ;
- ns3:have-degree-91.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-09#a> ;
+ ns3:have-degree-91.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-09#p> ;
ns3:have-degree-91.ARG2 <http://amr.isi.edu/amr_data/SolarSystem-09#l> ;
ns3:have-degree-91.ARG3 <http://amr.isi.edu/amr_data/SolarSystem-09#m2> ;
- ns3:have-degree-91.ARG5 <http://amr.isi.edu/amr_data/SolarSystem-09#p3> .
+ ns3:have-degree-91.ARG5 <http://amr.isi.edu/amr_data/SolarSystem-09#p4> .
<http://amr.isi.edu/amr_data/SolarSystem-09#root01> a ns2:AMR ;
ns2:has-id "SolarSystem-09" ;
- ns2:has-sentence "The two largest planets, Jupiter and Saturn, are gas giants, being composed mainly of hydrogen and helium." ;
- ns2:root <http://amr.isi.edu/amr_data/SolarSystem-09#g> .
+ ns2:has-sentence "The two largest planets, Jupiter and Saturn, are gas giant planets, being composed mainly of hydrogen and helium." ;
+ ns2:root <http://amr.isi.edu/amr_data/SolarSystem-09#p> .
ns3:compose-01.ARG1 a ns3:FrameRole .
@@ -50,7 +50,6 @@ ns1:op2 a ns2:Role .
ns1:op2 <http://amr.isi.edu/amr_data/SolarSystem-09#h2> .
<http://amr.isi.edu/amr_data/SolarSystem-09#g> a ns1:giant ;
- ns1:domain <http://amr.isi.edu/amr_data/SolarSystem-09#a> ;
ns1:mod <http://amr.isi.edu/amr_data/SolarSystem-09#g2> .
<http://amr.isi.edu/amr_data/SolarSystem-09#g2> a ns1:gas .
@@ -65,13 +64,13 @@ ns1:op2 a ns2:Role .
<http://amr.isi.edu/amr_data/SolarSystem-09#m2> a ns2:most .
-<http://amr.isi.edu/amr_data/SolarSystem-09#p> a <http://amr.isi.edu/entity-types#planet> ;
+<http://amr.isi.edu/amr_data/SolarSystem-09#p2> a <http://amr.isi.edu/entity-types#planet> ;
rdfs:label "Jupiter" .
-<http://amr.isi.edu/amr_data/SolarSystem-09#p2> a <http://amr.isi.edu/entity-types#planet> ;
+<http://amr.isi.edu/amr_data/SolarSystem-09#p3> a <http://amr.isi.edu/entity-types#planet> ;
rdfs:label "Saturn" .
-<http://amr.isi.edu/amr_data/SolarSystem-09#p3> a <http://amr.isi.edu/entity-types#planet> ;
+<http://amr.isi.edu/amr_data/SolarSystem-09#p4> a <http://amr.isi.edu/entity-types#planet> ;
ns1:quant "2" .
ns3:compose-01 a ns2:Frame .
@@ -96,15 +95,19 @@ ns2:NamedEntity a ns2:Concept ;
ns2:most a ns2:Concept .
+<http://amr.isi.edu/amr_data/SolarSystem-09#a> a ns2:and ;
+ ns1:op1 <http://amr.isi.edu/amr_data/SolarSystem-09#p2> ;
+ ns1:op2 <http://amr.isi.edu/amr_data/SolarSystem-09#p3> .
+
+<http://amr.isi.edu/amr_data/SolarSystem-09#p> a <http://amr.isi.edu/entity-types#planet> ;
+ ns1:domain <http://amr.isi.edu/amr_data/SolarSystem-09#a> ;
+ ns1:mod <http://amr.isi.edu/amr_data/SolarSystem-09#g> .
+
ns2:Frame a ns2:Concept ;
rdfs:label "AMR-PropBank-Frame" .
ns2:and a ns2:Concept .
-<http://amr.isi.edu/amr_data/SolarSystem-09#a> a ns2:and ;
- ns1:op1 <http://amr.isi.edu/amr_data/SolarSystem-09#p> ;
- ns1:op2 <http://amr.isi.edu/amr_data/SolarSystem-09#p2> .
-
<http://amr.isi.edu/entity-types#planet> a ns2:NamedEntity .
ns3:FrameRole a ns2:Role ;
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.dot b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.dot
index 0e69b79a2cb56b18ffaebd34a5ae98029311069b..573fb98d165438a9febbaf5ef1e700bb9a137080 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.dot
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.dot
@@ -1,42 +1,46 @@
digraph amr_graph {
rankdir=LR size="12,8"
+ p [label="p/planet" shape=circle]
g [label="g/giant" shape=circle]
ii [label="ii/ice" shape=circle]
a [label="a/and" shape=circle]
- p [label="p/planet" shape=circle]
- n [label="n/name" shape=circle]
p2 [label="p2/planet" shape=circle]
- n2 [label="n2/name" shape=circle]
- h [label="h/have-degree-91" shape=circle]
- f [label="f/far" shape=circle]
- m [label="m/most" shape=circle]
+ n [label="n/name" shape=circle]
p3 [label="p3/planet" shape=circle]
+ n2 [label="n2/name" shape=circle]
c [label="c/compose-01" shape=circle]
v [label="v/volatile" shape=circle]
a2 [label="a2/and" shape=circle]
w [label="w/water" shape=circle]
a3 [label="a3/ammonia" shape=circle]
- m2 [label="m2/methane" shape=circle]
- m3 [label="m3/main" shape=circle]
+ m [label="m/methane" shape=circle]
+ m2 [label="m2/main" shape=circle]
+ h [label="h/have-degree-91" shape=circle]
+ f [label="f/far" shape=circle]
+ m3 [label="m3/most" shape=circle]
+ p4 [label="p4/planet" shape=circle]
+ p -> g [label=":mod"]
g -> ii [label=":mod"]
- g -> a [label=":domain"]
- a -> p [label=":op1"]
- p -> n [label=":name"]
- a -> p2 [label=":op2"]
- p2 -> n2 [label=":name"]
- a -> h [label=":ARG1-of"]
- h -> f [label=":ARG2"]
- h -> m [label=":ARG3"]
- h -> p3 [label=":ARG5"]
- g -> c [label=":ARG1-of"]
+ p -> a [label=":domain"]
+ a -> p2 [label=":op1"]
+ p2 -> n [label=":name"]
+ a -> p3 [label=":op2"]
+ p3 -> n2 [label=":name"]
+ a -> c [label=":ARG1-of"]
c -> v [label=":ARG2"]
v -> a2 [label=":example"]
a2 -> w [label=":op1"]
a2 -> a3 [label=":op2"]
- a2 -> m2 [label=":op3"]
- c -> m3 [label=":mod"]
+ a2 -> m [label=":op3"]
+ c -> m2 [label=":mod"]
+ p -> h [label=":ARG1-of"]
+ h -> f [label=":ARG2"]
+ h -> m3 [label=":ARG3"]
+ h -> p4 [label=":ARG5"]
node_0 [label="\"Uranus\"" shape=rectangle]
n -> node_0 [label=":op1"]
node_1 [label="\"Neptune\"" shape=rectangle]
n2 -> node_1 [label=":op1"]
+ node_2 [label=2 shape=rectangle]
+ p4 -> node_2 [label=":quant"]
}
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.nt b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.nt
index d7b80093eee853760d48e073bf44c3ab05922ca1..6b58c2f51fd8a80be5c42b0245c682af827d37e6 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.nt
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.nt
@@ -1,73 +1,76 @@
-<http://amr.isi.edu/rdf/core-amr#NamedEntity> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Term" .
-<http://amr.isi.edu/rdf/amr-terms#example> <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/have-degree-91.ARG5> <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/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-10#m2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#methane> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#a> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-10#p2> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#p2> <http://www.w3.org/2000/01/rdf-schema#label> "Neptune" .
-<http://amr.isi.edu/rdf/amr-terms#far> <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/have-degree-91.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/amr-terms#op3> <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-10#root01> <http://amr.isi.edu/rdf/core-amr#root> <http://amr.isi.edu/amr_data/SolarSystem-10#g> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#c> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-10#g> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#c> <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/amr_data/SolarSystem-10#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-10#root01> <http://amr.isi.edu/rdf/core-amr#has-id> "SolarSystem-10" .
-<http://amr.isi.edu/amr_data/SolarSystem-10#a> <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-10#p> <http://www.w3.org/2000/01/rdf-schema#label> "Uranus" .
-<http://amr.isi.edu/amr_data/SolarSystem-10#p3> <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#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-10#ii> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#ice> .
-<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/amr-terms#main> <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/amr_data/SolarSystem-10#g> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#giant> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#c> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-10#v> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#h> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG3> <http://amr.isi.edu/amr_data/SolarSystem-10#m> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#a2> <http://amr.isi.edu/rdf/amr-terms#op3> <http://amr.isi.edu/amr_data/SolarSystem-10#m2> .
-<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-10#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/have-degree-91> <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#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/core-amr#Role> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Role" .
-<http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.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-10#v> <http://amr.isi.edu/rdf/amr-terms#example> <http://amr.isi.edu/amr_data/SolarSystem-10#a2> .
<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/amr_data/SolarSystem-10#root01> <http://amr.isi.edu/rdf/core-amr#has-sentence> "The two outermost planets, Uranus and Neptune, are ice giants, being composed mainly of volatiles, such as water, ammonia and methane." .
-<http://amr.isi.edu/rdf/amr-terms#volatile> <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-10#a3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#ammonia> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#c> <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/amr_data/SolarSystem-10#h> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG5> <http://amr.isi.edu/amr_data/SolarSystem-10#p3> .
-<http://amr.isi.edu/rdf/amr-terms#giant> <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-10#g> <http://amr.isi.edu/rdf/amr-terms#domain> <http://amr.isi.edu/amr_data/SolarSystem-10#a> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#h> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-10#a> .
-<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/rdf/core-amr#Frame> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-PropBank-Frame" .
-<http://amr.isi.edu/amr_data/SolarSystem-10#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-10#c> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-10#m3> .
-<http://amr.isi.edu/rdf/amr-terms#ammonia> <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-10#w> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#water> .
-<http://amr.isi.edu/rdf/amr-terms#water> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
-<http://amr.isi.edu/rdf/amr-terms#domain> <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-10#a> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-10#p> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#g> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-10#ii> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#m> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#most> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#c> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-10#v> .
+<http://amr.isi.edu/rdf/amr-terms#main> <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-10#h> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#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-10#p4> <http://amr.isi.edu/rdf/amr-terms#quant> "2" .
<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/amr_data/SolarSystem-10#f> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#far> .
+<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-10#h> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG3> <http://amr.isi.edu/amr_data/SolarSystem-10#m3> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#p2> <http://www.w3.org/2000/01/rdf-schema#label> "Uranus" .
<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-10#w> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#water> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#ii> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#ice> .
<http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG3> <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-10#a2> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-10#a3> .
-<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/rdf/amr-terms#ice> <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-10#p> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-10#g> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#g> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-10#ii> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#a2> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-10#w> .
+<http://amr.isi.edu/rdf/amr-terms#op3> <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/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/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/amr_data/SolarSystem-10#h> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-10#f> .
-<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-10#p> <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/have-degree-91> <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-10#p3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/entity-types#planet> .
+<http://amr.isi.edu/rdf/amr-terms#domain> <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#giant> <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/have-degree-91.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-10#m3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#most> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#root01> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#AMR> .
+<http://amr.isi.edu/rdf/amr-terms#ammonia> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
+<http://amr.isi.edu/rdf/amr-terms#example> <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-10#a2> <http://amr.isi.edu/rdf/amr-terms#op3> <http://amr.isi.edu/amr_data/SolarSystem-10#m> .
+<http://amr.isi.edu/rdf/core-amr#NamedEntity> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Term" .
+<http://amr.isi.edu/rdf/amr-terms#water> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#Concept> .
+<http://amr.isi.edu/rdf/amr-terms#volatile> <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-10#c> <http://amr.isi.edu/frames/ld/v1.2.2/compose-01.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-10#a> .
+<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/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/have-degree-91.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-10#v> <http://amr.isi.edu/rdf/amr-terms#example> <http://amr.isi.edu/amr_data/SolarSystem-10#a2> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#h> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG5> <http://amr.isi.edu/amr_data/SolarSystem-10#p4> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/core-amr#and> .
+<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/rdf/amr-terms#methane> <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-10#g> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#giant> .
+<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-10#v> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#volatile> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#a2> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-10#w> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#a2> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-10#a3> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#m2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#main> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#m> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#methane> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#root01> <http://amr.isi.edu/rdf/core-amr#has-sentence> "The two outermost planets, Uranus and Neptune, are ice giant planets, being composed mainly of volatiles, such as water, ammonia and methane." .
+<http://amr.isi.edu/amr_data/SolarSystem-10#p> <http://amr.isi.edu/rdf/amr-terms#domain> <http://amr.isi.edu/amr_data/SolarSystem-10#a> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#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/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#root01> <http://amr.isi.edu/rdf/core-amr#root> <http://amr.isi.edu/amr_data/SolarSystem-10#p> .
+<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-10#f> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#far> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#a> <http://amr.isi.edu/rdf/amr-terms#op2> <http://amr.isi.edu/amr_data/SolarSystem-10#p3> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#h> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG2> <http://amr.isi.edu/amr_data/SolarSystem-10#f> .
+<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/rdf/core-amr#Concept> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-Concept" .
-<http://amr.isi.edu/rdf/amr-terms#methane> <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-10#m3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#main> .
+<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-10#a> <http://amr.isi.edu/rdf/amr-terms#op1> <http://amr.isi.edu/amr_data/SolarSystem-10#p2> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#c> <http://amr.isi.edu/rdf/amr-terms#mod> <http://amr.isi.edu/amr_data/SolarSystem-10#m2> .
+<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/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-10#h> <http://amr.isi.edu/frames/ld/v1.2.2/have-degree-91.ARG1> <http://amr.isi.edu/amr_data/SolarSystem-10#p> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#a3> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/rdf/amr-terms#ammonia> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#p4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://amr.isi.edu/entity-types#planet> .
+<http://amr.isi.edu/rdf/amr-terms#ice> <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/have-degree-91.ARG5> <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-10#p2> <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/2000/01/rdf-schema#label> "AMR-EntityType" .
+<http://amr.isi.edu/rdf/amr-terms#far> <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-10#p3> <http://www.w3.org/2000/01/rdf-schema#label> "Neptune" .
+<http://amr.isi.edu/rdf/core-amr#Frame> <http://www.w3.org/2000/01/rdf-schema#label> "AMR-PropBank-Frame" .
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.penman b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.penman
index ecd71903361c306bcda8ffaa39dc97e59de8b2f4..9bdc8c8d580c603418897cc749e7b104da4dc361 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.penman
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.penman
@@ -1,22 +1,24 @@
# ::id SolarSystem-10
-# ::snt The two outermost planets, Uranus and Neptune, are ice giants, being composed mainly of volatiles, such as water, ammonia and methane.
-(g / giant
- :mod (ii / ice)
+# ::snt The two outermost planets, Uranus and Neptune, are ice giant planets, being composed mainly of volatiles, such as water, ammonia and methane.
+(p / planet
+ :mod (g / giant
+ :mod (ii / ice))
:domain (a / and
- :op1 (p / planet
+ :op1 (p2 / planet
:name (n / name
:op1 "Uranus"))
- :op2 (p2 / planet
+ :op2 (p3 / planet
:name (n2 / name
:op1 "Neptune"))
- :ARG1-of (h / have-degree-91
- :ARG2 (f / far)
- :ARG3 (m / most)
- :ARG5 (p3 / planet)))
- :ARG1-of (c / compose-01
- :ARG2 (v / volatile
- :example (a2 / and
- :op1 (w / water)
- :op2 (a3 / ammonia)
- :op3 (m2 / methane)))
- :mod (m3 / main)))
\ No newline at end of file
+ :ARG1-of (c / compose-01
+ :ARG2 (v / volatile
+ :example (a2 / and
+ :op1 (w / water)
+ :op2 (a3 / ammonia)
+ :op3 (m / methane)))
+ :mod (m2 / main)))
+ :ARG1-of (h / have-degree-91
+ :ARG2 (f / far)
+ :ARG3 (m3 / most)
+ :ARG5 (p4 / planet
+ :quant 2)))
\ No newline at end of file
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.png b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.png
index 6b8858f1b05b5142ac743e1cb5469c0d11fa921f..89151733ab140e31bc50494d5a3ccf628855c49f 100644
Binary files a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.png and b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.png differ
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.svg b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.svg
index 3ab29ba9fc7eae9b4a873712ee3f3bf4918b9bd8..3caeed3f9a0aa006c9fdbe72671302d3cf491bd4 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.svg
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.svg
@@ -4,263 +4,289 @@
<!-- Generated by graphviz version 9.0.0 (0)
-->
<!-- Title: amr_graph Pages: 1 -->
-<svg width="723pt" height="576pt"
- viewBox="0.00 0.00 722.59 576.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(0.665826 0.665826) rotate(0) translate(4 861.09)">
+<svg width="838pt" height="576pt"
+ viewBox="0.00 0.00 837.84 576.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(0.663234 0.663234) rotate(0) translate(4 864.47)">
<title>amr_graph</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-861.09 1081.25,-861.09 1081.25,4 -4,4"/>
-<!-- g -->
+<polygon fill="white" stroke="none" points="-4,4 -4,-864.47 1259.26,-864.47 1259.26,4 -4,4"/>
+<!-- p -->
<g id="node1" class="node">
-<title>g</title>
-<ellipse fill="none" stroke="black" cx="46.47" cy="-578.83" rx="46.47" ry="46.47"/>
-<text text-anchor="middle" x="46.47" y="-574.16" font-family="Times,serif" font-size="14.00">g/giant</text>
+<title>p</title>
+<ellipse fill="none" stroke="black" cx="52.26" cy="-579.57" rx="52.26" ry="52.26"/>
+<text text-anchor="middle" x="52.26" y="-574.9" font-family="Times,serif" font-size="14.00">p/planet</text>
</g>
-<!-- ii -->
+<!-- g -->
<g id="node2" class="node">
-<title>ii</title>
-<ellipse fill="none" stroke="black" cx="271.04" cy="-669.83" rx="34.9" ry="34.9"/>
-<text text-anchor="middle" x="271.04" y="-665.16" font-family="Times,serif" font-size="14.00">ii/ice</text>
+<title>g</title>
+<ellipse fill="none" stroke="black" cx="301.55" cy="-774.57" rx="46.47" ry="46.47"/>
+<text text-anchor="middle" x="301.55" y="-769.9" font-family="Times,serif" font-size="14.00">g/giant</text>
</g>
-<!-- g->ii -->
+<!-- p->g -->
<g id="edge1" class="edge">
-<title>g->ii</title>
-<path fill="none" stroke="black" d="M89.86,-596.16C129.4,-612.33 188.08,-636.32 227.63,-652.49"/>
-<polygon fill="black" stroke="black" points="226.26,-655.71 236.84,-656.26 228.91,-649.23 226.26,-655.71"/>
-<text text-anchor="middle" x="142.45" y="-632.78" font-family="Times,serif" font-size="14.00">:mod</text>
+<title>p->g</title>
+<path fill="none" stroke="black" d="M93.82,-611.56C138.27,-646.6 209.37,-702.67 255.52,-739.06"/>
+<polygon fill="black" stroke="black" points="253.19,-741.69 263.21,-745.13 257.53,-736.19 253.19,-741.69"/>
+<text text-anchor="middle" x="154.02" y="-686.52" font-family="Times,serif" font-size="14.00">:mod</text>
</g>
<!-- a -->
-<g id="node3" class="node">
+<g id="node4" class="node">
<title>a</title>
-<ellipse fill="none" stroke="black" cx="271.04" cy="-578.83" rx="38.58" ry="38.58"/>
-<text text-anchor="middle" x="271.04" y="-574.16" font-family="Times,serif" font-size="14.00">a/and</text>
+<ellipse fill="none" stroke="black" cx="301.55" cy="-579.57" rx="38.58" ry="38.58"/>
+<text text-anchor="middle" x="301.55" y="-574.9" font-family="Times,serif" font-size="14.00">a/and</text>
</g>
-<!-- g->a -->
-<g id="edge2" class="edge">
-<title>g->a</title>
-<path fill="none" stroke="black" d="M93.32,-578.83C130.45,-578.83 182.66,-578.83 220.7,-578.83"/>
-<polygon fill="black" stroke="black" points="220.51,-582.33 230.51,-578.83 220.51,-575.33 220.51,-582.33"/>
-<text text-anchor="middle" x="142.45" y="-582.78" font-family="Times,serif" font-size="14.00">:domain</text>
+<!-- p->a -->
+<g id="edge3" class="edge">
+<title>p->a</title>
+<path fill="none" stroke="black" d="M104.8,-579.57C147.89,-579.57 208.93,-579.57 251.35,-579.57"/>
+<polygon fill="black" stroke="black" points="251.27,-583.07 261.27,-579.57 251.27,-576.07 251.27,-583.07"/>
+<text text-anchor="middle" x="154.02" y="-583.52" font-family="Times,serif" font-size="14.00">:domain</text>
</g>
-<!-- c -->
-<g id="node12" class="node">
-<title>c</title>
-<ellipse fill="none" stroke="black" cx="271.04" cy="-276.83" rx="79.09" ry="79.09"/>
-<text text-anchor="middle" x="271.04" y="-272.16" font-family="Times,serif" font-size="14.00">c/compose-01</text>
+<!-- h -->
+<g id="node16" class="node">
+<title>h</title>
+<ellipse fill="none" stroke="black" cx="301.55" cy="-242.57" rx="98.03" ry="98.03"/>
+<text text-anchor="middle" x="301.55" y="-237.9" font-family="Times,serif" font-size="14.00">h/have-degree-91</text>
</g>
-<!-- g->c -->
-<g id="edge11" class="edge">
-<title>g->c</title>
-<path fill="none" stroke="black" d="M74.76,-541.8C109.93,-494.08 171.85,-410.07 216.55,-349.41"/>
-<polygon fill="black" stroke="black" points="219.27,-351.61 222.39,-341.48 213.64,-347.46 219.27,-351.61"/>
-<text text-anchor="middle" x="142.45" y="-492.78" font-family="Times,serif" font-size="14.00">:ARG1-of</text>
+<!-- p->h -->
+<g id="edge15" class="edge">
+<title>p->h</title>
+<path fill="none" stroke="black" d="M84.08,-537.57C121.86,-486.09 186.88,-397.48 235.83,-330.78"/>
+<polygon fill="black" stroke="black" points="238.63,-332.87 241.72,-322.74 232.99,-328.73 238.63,-332.87"/>
+<text text-anchor="middle" x="154.02" y="-483.52" font-family="Times,serif" font-size="14.00">:ARG1-of</text>
</g>
-<!-- p -->
-<g id="node4" class="node">
-<title>p</title>
-<ellipse fill="none" stroke="black" cx="547.16" cy="-804.83" rx="52.26" ry="52.26"/>
-<text text-anchor="middle" x="547.16" y="-800.16" font-family="Times,serif" font-size="14.00">p/planet</text>
+<!-- ii -->
+<g id="node3" class="node">
+<title>ii</title>
+<ellipse fill="none" stroke="black" cx="577.68" cy="-825.57" rx="34.9" ry="34.9"/>
+<text text-anchor="middle" x="577.68" y="-820.9" font-family="Times,serif" font-size="14.00">ii/ice</text>
</g>
-<!-- a->p -->
-<g id="edge3" class="edge">
-<title>a->p</title>
-<path fill="none" stroke="black" d="M305.99,-595.32C320.52,-603.33 337.09,-613.82 350.13,-625.83 360.2,-635.11 359.48,-640.22 368.13,-650.83 401.72,-692.03 408.89,-704.1 449.13,-738.83 462.54,-750.41 478.04,-761.73 492.65,-771.64"/>
-<polygon fill="black" stroke="black" points="490.58,-774.47 500.84,-777.1 494.46,-768.64 490.58,-774.47"/>
-<text text-anchor="middle" x="399.63" y="-725.78" font-family="Times,serif" font-size="14.00">:op1</text>
+<!-- g->ii -->
+<g id="edge2" class="edge">
+<title>g->ii</title>
+<path fill="none" stroke="black" d="M347.51,-782.94C398.38,-792.4 480.76,-807.73 531.65,-817.2"/>
+<polygon fill="black" stroke="black" points="530.98,-820.63 541.46,-819.02 532.26,-813.75 530.98,-820.63"/>
+<text text-anchor="middle" x="449.08" y="-811.52" font-family="Times,serif" font-size="14.00">:mod</text>
</g>
<!-- p2 -->
-<g id="node6" class="node">
+<g id="node5" class="node">
<title>p2</title>
-<ellipse fill="none" stroke="black" cx="547.16" cy="-670.83" rx="58.57" ry="58.57"/>
-<text text-anchor="middle" x="547.16" y="-666.16" font-family="Times,serif" font-size="14.00">p2/planet</text>
+<ellipse fill="none" stroke="black" cx="577.68" cy="-714.57" rx="58.57" ry="58.57"/>
+<text text-anchor="middle" x="577.68" y="-709.9" font-family="Times,serif" font-size="14.00">p2/planet</text>
</g>
<!-- a->p2 -->
-<g id="edge5" class="edge">
+<g id="edge4" class="edge">
<title>a->p2</title>
-<path fill="none" stroke="black" d="M308.16,-590.95C351.88,-605.63 426.37,-630.63 480.39,-648.76"/>
-<polygon fill="black" stroke="black" points="479.22,-652.06 489.81,-651.92 481.44,-645.42 479.22,-652.06"/>
-<text text-anchor="middle" x="399.63" y="-633.78" font-family="Times,serif" font-size="14.00">:op2</text>
+<path fill="none" stroke="black" d="M336.72,-596.4C381.17,-618.29 459.65,-656.94 514.72,-684.06"/>
+<polygon fill="black" stroke="black" points="512.85,-687.04 523.36,-688.32 515.94,-680.76 512.85,-687.04"/>
+<text text-anchor="middle" x="449.08" y="-670.52" font-family="Times,serif" font-size="14.00">:op1</text>
</g>
-<!-- h -->
-<g id="node8" class="node">
-<title>h</title>
-<ellipse fill="none" stroke="black" cx="547.16" cy="-485.83" rx="98.03" ry="98.03"/>
-<text text-anchor="middle" x="547.16" y="-481.16" font-family="Times,serif" font-size="14.00">h/have-degree-91</text>
+<!-- p3 -->
+<g id="node7" class="node">
+<title>p3</title>
+<ellipse fill="none" stroke="black" cx="577.68" cy="-579.57" rx="58.57" ry="58.57"/>
+<text text-anchor="middle" x="577.68" y="-574.9" font-family="Times,serif" font-size="14.00">p3/planet</text>
</g>
-<!-- a->h -->
-<g id="edge7" class="edge">
-<title>a->h</title>
-<path fill="none" stroke="black" d="M307.87,-566.67C342.21,-555.02 395.7,-536.88 443.31,-520.73"/>
-<polygon fill="black" stroke="black" points="444.22,-524.11 452.56,-517.58 441.97,-517.48 444.22,-524.11"/>
-<text text-anchor="middle" x="399.63" y="-549.78" font-family="Times,serif" font-size="14.00">:ARG1-of</text>
+<!-- a->p3 -->
+<g id="edge6" class="edge">
+<title>a->p3</title>
+<path fill="none" stroke="black" d="M340.38,-579.57C383.35,-579.57 454.35,-579.57 507.33,-579.57"/>
+<polygon fill="black" stroke="black" points="507.17,-583.07 517.17,-579.57 507.17,-576.07 507.17,-583.07"/>
+<text text-anchor="middle" x="449.08" y="-583.52" font-family="Times,serif" font-size="14.00">:op2</text>
+</g>
+<!-- c -->
+<g id="node9" class="node">
+<title>c</title>
+<ellipse fill="none" stroke="black" cx="577.68" cy="-423.57" rx="79.09" ry="79.09"/>
+<text text-anchor="middle" x="577.68" y="-418.9" font-family="Times,serif" font-size="14.00">c/compose-01</text>
+</g>
+<!-- a->c -->
+<g id="edge8" class="edge">
+<title>a->c</title>
+<path fill="none" stroke="black" d="M335.62,-560.76C375.7,-537.95 444.57,-498.75 498.46,-468.09"/>
+<polygon fill="black" stroke="black" points="500.06,-471.2 507.02,-463.21 496.6,-465.12 500.06,-471.2"/>
+<text text-anchor="middle" x="449.08" y="-514.52" font-family="Times,serif" font-size="14.00">:ARG1-of</text>
</g>
<!-- n -->
-<g id="node5" class="node">
+<g id="node6" class="node">
<title>n</title>
-<ellipse fill="none" stroke="black" cx="804.27" cy="-807.83" rx="48.05" ry="48.05"/>
-<text text-anchor="middle" x="804.27" y="-803.16" font-family="Times,serif" font-size="14.00">n/name</text>
+<ellipse fill="none" stroke="black" cx="795.51" cy="-714.57" rx="48.05" ry="48.05"/>
+<text text-anchor="middle" x="795.51" y="-709.9" font-family="Times,serif" font-size="14.00">n/name</text>
</g>
-<!-- p->n -->
-<g id="edge4" class="edge">
-<title>p->n</title>
-<path fill="none" stroke="black" d="M599.79,-805.44C641.75,-805.93 700.96,-806.63 744.69,-807.14"/>
-<polygon fill="black" stroke="black" points="744.47,-810.64 754.51,-807.26 744.55,-803.64 744.47,-810.64"/>
-<text text-anchor="middle" x="695.44" y="-810.78" font-family="Times,serif" font-size="14.00">:name</text>
+<!-- p2->n -->
+<g id="edge5" class="edge">
+<title>p2->n</title>
+<path fill="none" stroke="black" d="M636.52,-714.57C667.19,-714.57 704.79,-714.57 735.62,-714.57"/>
+<polygon fill="black" stroke="black" points="735.56,-718.07 745.56,-714.57 735.56,-711.07 735.56,-718.07"/>
+<text text-anchor="middle" x="697.64" y="-718.52" font-family="Times,serif" font-size="14.00">:name</text>
</g>
<!-- node_0 -->
-<g id="node19" class="node">
+<g id="node20" class="node">
<title>node_0</title>
-<polygon fill="none" stroke="black" points="1044.42,-825.83 962.42,-825.83 962.42,-789.83 1044.42,-789.83 1044.42,-825.83"/>
-<text text-anchor="middle" x="1003.42" y="-803.16" font-family="Times,serif" font-size="14.00">"Uranus"</text>
+<polygon fill="none" stroke="black" points="1039.51,-732.57 957.51,-732.57 957.51,-696.57 1039.51,-696.57 1039.51,-732.57"/>
+<text text-anchor="middle" x="998.51" y="-709.9" font-family="Times,serif" font-size="14.00">"Uranus"</text>
</g>
<!-- n->node_0 -->
-<g id="edge18" class="edge">
+<g id="edge19" class="edge">
<title>n->node_0</title>
-<path fill="none" stroke="black" d="M852.74,-807.83C882.34,-807.83 920.45,-807.83 950.8,-807.83"/>
-<polygon fill="black" stroke="black" points="950.5,-811.33 960.5,-807.83 950.5,-804.33 950.5,-811.33"/>
-<text text-anchor="middle" x="896.22" y="-811.78" font-family="Times,serif" font-size="14.00">:op1</text>
+<path fill="none" stroke="black" d="M843.89,-714.57C874.59,-714.57 914.57,-714.57 946.05,-714.57"/>
+<polygon fill="black" stroke="black" points="945.72,-718.07 955.72,-714.57 945.72,-711.07 945.72,-718.07"/>
+<text text-anchor="middle" x="902.76" y="-718.52" font-family="Times,serif" font-size="14.00">:op1</text>
</g>
<!-- n2 -->
-<g id="node7" class="node">
+<g id="node8" class="node">
<title>n2</title>
-<ellipse fill="none" stroke="black" cx="804.27" cy="-687.83" rx="54.36" ry="54.36"/>
-<text text-anchor="middle" x="804.27" y="-683.16" font-family="Times,serif" font-size="14.00">n2/name</text>
+<ellipse fill="none" stroke="black" cx="795.51" cy="-579.57" rx="54.36" ry="54.36"/>
+<text text-anchor="middle" x="795.51" y="-574.9" font-family="Times,serif" font-size="14.00">n2/name</text>
</g>
-<!-- p2->n2 -->
-<g id="edge6" class="edge">
-<title>p2->n2</title>
-<path fill="none" stroke="black" d="M606.05,-674.69C645.34,-677.31 697.34,-680.77 738.09,-683.49"/>
-<polygon fill="black" stroke="black" points="737.81,-686.98 748.02,-684.15 738.27,-679.99 737.81,-686.98"/>
-<text text-anchor="middle" x="695.44" y="-685.78" font-family="Times,serif" font-size="14.00">:name</text>
+<!-- p3->n2 -->
+<g id="edge7" class="edge">
+<title>p3->n2</title>
+<path fill="none" stroke="black" d="M636.52,-579.57C665.18,-579.57 699.89,-579.57 729.48,-579.57"/>
+<polygon fill="black" stroke="black" points="729.45,-583.07 739.45,-579.57 729.45,-576.07 729.45,-583.07"/>
+<text text-anchor="middle" x="697.64" y="-583.52" font-family="Times,serif" font-size="14.00">:name</text>
</g>
<!-- node_1 -->
-<g id="node20" class="node">
+<g id="node21" class="node">
<title>node_1</title>
-<polygon fill="none" stroke="black" points="1048.92,-705.83 957.92,-705.83 957.92,-669.83 1048.92,-669.83 1048.92,-705.83"/>
-<text text-anchor="middle" x="1003.42" y="-683.16" font-family="Times,serif" font-size="14.00">"Neptune"</text>
+<polygon fill="none" stroke="black" points="1044.01,-597.57 953.01,-597.57 953.01,-561.57 1044.01,-561.57 1044.01,-597.57"/>
+<text text-anchor="middle" x="998.51" y="-574.9" font-family="Times,serif" font-size="14.00">"Neptune"</text>
</g>
<!-- n2->node_1 -->
-<g id="edge19" class="edge">
+<g id="edge20" class="edge">
<title>n2->node_1</title>
-<path fill="none" stroke="black" d="M858.88,-687.83C885.92,-687.83 918.7,-687.83 946.11,-687.83"/>
-<polygon fill="black" stroke="black" points="945.98,-691.33 955.98,-687.83 945.98,-684.33 945.98,-691.33"/>
-<text text-anchor="middle" x="896.22" y="-691.78" font-family="Times,serif" font-size="14.00">:op1</text>
-</g>
-<!-- f -->
-<g id="node9" class="node">
-<title>f</title>
-<ellipse fill="none" stroke="black" cx="804.27" cy="-582.83" rx="32.27" ry="32.27"/>
-<text text-anchor="middle" x="804.27" y="-578.16" font-family="Times,serif" font-size="14.00">f/far</text>
-</g>
-<!-- h->f -->
-<g id="edge8" class="edge">
-<title>h->f</title>
-<path fill="none" stroke="black" d="M639.18,-520.44C681.6,-536.57 729.92,-554.94 763.07,-567.55"/>
-<polygon fill="black" stroke="black" points="761.7,-570.77 772.29,-571.05 764.19,-564.23 761.7,-570.77"/>
-<text text-anchor="middle" x="695.44" y="-554.78" font-family="Times,serif" font-size="14.00">:ARG2</text>
-</g>
-<!-- m -->
-<g id="node10" class="node">
-<title>m</title>
-<ellipse fill="none" stroke="black" cx="804.27" cy="-483.83" rx="48.58" ry="48.58"/>
-<text text-anchor="middle" x="804.27" y="-479.16" font-family="Times,serif" font-size="14.00">m/most</text>
-</g>
-<!-- h->m -->
-<g id="edge9" class="edge">
-<title>h->m</title>
-<path fill="none" stroke="black" d="M645.33,-485.07C678.52,-484.81 714.63,-484.53 743.93,-484.3"/>
-<polygon fill="black" stroke="black" points="743.73,-487.8 753.7,-484.22 743.67,-480.8 743.73,-487.8"/>
-<text text-anchor="middle" x="695.44" y="-488.78" font-family="Times,serif" font-size="14.00">:ARG3</text>
-</g>
-<!-- p3 -->
-<g id="node11" class="node">
-<title>p3</title>
-<ellipse fill="none" stroke="black" cx="804.27" cy="-358.83" rx="58.57" ry="58.57"/>
-<text text-anchor="middle" x="804.27" y="-354.16" font-family="Times,serif" font-size="14.00">p3/planet</text>
-</g>
-<!-- h->p3 -->
-<g id="edge10" class="edge">
-<title>h->p3</title>
-<path fill="none" stroke="black" d="M635.24,-442.48C670.15,-425.1 709.56,-405.48 741.44,-389.61"/>
-<polygon fill="black" stroke="black" points="742.77,-392.86 750.16,-385.27 739.65,-386.59 742.77,-392.86"/>
-<text text-anchor="middle" x="695.44" y="-429.78" font-family="Times,serif" font-size="14.00">:ARG5</text>
+<path fill="none" stroke="black" d="M850.38,-579.57C878.48,-579.57 912.84,-579.57 941.28,-579.57"/>
+<polygon fill="black" stroke="black" points="941.16,-583.07 951.16,-579.57 941.16,-576.07 941.16,-583.07"/>
+<text text-anchor="middle" x="902.76" y="-583.52" font-family="Times,serif" font-size="14.00">:op1</text>
</g>
<!-- v -->
-<g id="node13" class="node">
+<g id="node10" class="node">
<title>v</title>
-<ellipse fill="none" stroke="black" cx="547.16" cy="-276.83" rx="57" ry="57"/>
-<text text-anchor="middle" x="547.16" y="-272.16" font-family="Times,serif" font-size="14.00">v/volatile</text>
+<ellipse fill="none" stroke="black" cx="795.51" cy="-437.57" rx="57" ry="57"/>
+<text text-anchor="middle" x="795.51" y="-432.9" font-family="Times,serif" font-size="14.00">v/volatile</text>
</g>
<!-- c->v -->
-<g id="edge12" class="edge">
+<g id="edge9" class="edge">
<title>c->v</title>
-<path fill="none" stroke="black" d="M350.59,-276.83C391.05,-276.83 439.89,-276.83 478.64,-276.83"/>
-<polygon fill="black" stroke="black" points="478.29,-280.33 488.29,-276.83 478.29,-273.33 478.29,-280.33"/>
-<text text-anchor="middle" x="399.63" y="-280.78" font-family="Times,serif" font-size="14.00">:ARG2</text>
+<path fill="none" stroke="black" d="M656.9,-428.65C679.81,-430.13 704.66,-431.75 726.85,-433.18"/>
+<polygon fill="black" stroke="black" points="726.48,-436.67 736.68,-433.82 726.93,-429.68 726.48,-436.67"/>
+<text text-anchor="middle" x="697.64" y="-436.52" font-family="Times,serif" font-size="14.00">:ARG2</text>
</g>
-<!-- m3 -->
-<g id="node18" class="node">
-<title>m3</title>
-<ellipse fill="none" stroke="black" cx="547.16" cy="-146.83" rx="54.89" ry="54.89"/>
-<text text-anchor="middle" x="547.16" y="-142.16" font-family="Times,serif" font-size="14.00">m3/main</text>
+<!-- m2 -->
+<g id="node15" class="node">
+<title>m2</title>
+<ellipse fill="none" stroke="black" cx="795.51" cy="-307.57" rx="54.89" ry="54.89"/>
+<text text-anchor="middle" x="795.51" y="-302.9" font-family="Times,serif" font-size="14.00">m2/main</text>
</g>
-<!-- c->m3 -->
-<g id="edge17" class="edge">
-<title>c->m3</title>
-<path fill="none" stroke="black" d="M342.99,-243.18C387.69,-221.99 444.72,-194.94 486.98,-174.9"/>
-<polygon fill="black" stroke="black" points="488.21,-178.19 495.74,-170.74 485.21,-171.86 488.21,-178.19"/>
-<text text-anchor="middle" x="399.63" y="-235.78" font-family="Times,serif" font-size="14.00">:mod</text>
+<!-- c->m2 -->
+<g id="edge14" class="edge">
+<title>c->m2</title>
+<path fill="none" stroke="black" d="M647.86,-386.39C676.52,-370.99 709.39,-353.32 736.73,-338.63"/>
+<polygon fill="black" stroke="black" points="738.05,-341.89 745.2,-334.07 734.74,-335.73 738.05,-341.89"/>
+<text text-anchor="middle" x="697.64" y="-372.52" font-family="Times,serif" font-size="14.00">:mod</text>
</g>
<!-- a2 -->
-<g id="node14" class="node">
+<g id="node11" class="node">
<title>a2</title>
-<ellipse fill="none" stroke="black" cx="804.27" cy="-237.83" rx="44.89" ry="44.89"/>
-<text text-anchor="middle" x="804.27" y="-233.16" font-family="Times,serif" font-size="14.00">a2/and</text>
+<ellipse fill="none" stroke="black" cx="998.51" cy="-437.57" rx="44.89" ry="44.89"/>
+<text text-anchor="middle" x="998.51" y="-432.9" font-family="Times,serif" font-size="14.00">a2/and</text>
</g>
<!-- v->a2 -->
-<g id="edge13" class="edge">
+<g id="edge10" class="edge">
<title>v->a2</title>
-<path fill="none" stroke="black" d="M603.83,-268.32C646.67,-261.77 705.57,-252.77 748.25,-246.24"/>
-<polygon fill="black" stroke="black" points="748.7,-249.71 758.06,-244.74 747.64,-242.79 748.7,-249.71"/>
-<text text-anchor="middle" x="695.44" y="-262.78" font-family="Times,serif" font-size="14.00">:example</text>
+<path fill="none" stroke="black" d="M852.77,-437.57C880.61,-437.57 914.12,-437.57 941.88,-437.57"/>
+<polygon fill="black" stroke="black" points="941.87,-441.07 951.87,-437.57 941.87,-434.07 941.87,-441.07"/>
+<text text-anchor="middle" x="902.76" y="-441.52" font-family="Times,serif" font-size="14.00">:example</text>
</g>
<!-- w -->
-<g id="node15" class="node">
+<g id="node12" class="node">
<title>w</title>
-<ellipse fill="none" stroke="black" cx="1003.42" cy="-379.83" rx="51.73" ry="51.73"/>
-<text text-anchor="middle" x="1003.42" y="-375.16" font-family="Times,serif" font-size="14.00">w/water</text>
+<ellipse fill="none" stroke="black" cx="1183.01" cy="-579.57" rx="51.73" ry="51.73"/>
+<text text-anchor="middle" x="1183.01" y="-574.9" font-family="Times,serif" font-size="14.00">w/water</text>
</g>
<!-- a2->w -->
-<g id="edge14" class="edge">
+<g id="edge11" class="edge">
<title>a2->w</title>
-<path fill="none" stroke="black" d="M841.43,-263.88C872.45,-286.22 917.48,-318.65 952.04,-343.54"/>
-<polygon fill="black" stroke="black" points="949.64,-346.13 959.8,-349.14 953.73,-340.45 949.64,-346.13"/>
-<text text-anchor="middle" x="896.22" y="-316.78" font-family="Times,serif" font-size="14.00">:op1</text>
+<path fill="none" stroke="black" d="M1034.7,-464.95C1062.51,-486.59 1101.66,-517.06 1132.61,-541.14"/>
+<polygon fill="black" stroke="black" points="1130.29,-543.76 1140.33,-547.14 1134.58,-538.24 1130.29,-543.76"/>
+<text text-anchor="middle" x="1077.38" y="-512.52" font-family="Times,serif" font-size="14.00">:op1</text>
</g>
<!-- a3 -->
-<g id="node16" class="node">
+<g id="node13" class="node">
<title>a3</title>
-<ellipse fill="none" stroke="black" cx="1003.42" cy="-237.83" rx="72.25" ry="72.25"/>
-<text text-anchor="middle" x="1003.42" y="-233.16" font-family="Times,serif" font-size="14.00">a3/ammonia</text>
+<ellipse fill="none" stroke="black" cx="1183.01" cy="-437.57" rx="72.25" ry="72.25"/>
+<text text-anchor="middle" x="1183.01" y="-432.9" font-family="Times,serif" font-size="14.00">a3/ammonia</text>
</g>
<!-- a2->a3 -->
-<g id="edge15" class="edge">
+<g id="edge12" class="edge">
<title>a2->a3</title>
-<path fill="none" stroke="black" d="M849.51,-237.83C870.19,-237.83 895.51,-237.83 919.55,-237.83"/>
-<polygon fill="black" stroke="black" points="919.34,-241.33 929.34,-237.83 919.34,-234.33 919.34,-241.33"/>
-<text text-anchor="middle" x="896.22" y="-241.78" font-family="Times,serif" font-size="14.00">:op2</text>
+<path fill="none" stroke="black" d="M1043.69,-437.57C1060.36,-437.57 1079.93,-437.57 1099.01,-437.57"/>
+<polygon fill="black" stroke="black" points="1098.96,-441.07 1108.96,-437.57 1098.96,-434.07 1098.96,-441.07"/>
+<text text-anchor="middle" x="1077.38" y="-441.52" font-family="Times,serif" font-size="14.00">:op2</text>
</g>
-<!-- m2 -->
+<!-- m -->
+<g id="node14" class="node">
+<title>m</title>
+<ellipse fill="none" stroke="black" cx="1183.01" cy="-279.57" rx="67.52" ry="67.52"/>
+<text text-anchor="middle" x="1183.01" y="-274.9" font-family="Times,serif" font-size="14.00">m/methane</text>
+</g>
+<!-- a2->m -->
+<g id="edge13" class="edge">
+<title>a2->m</title>
+<path fill="none" stroke="black" d="M1032.98,-408.59C1057.99,-386.94 1092.83,-356.78 1122.54,-331.06"/>
+<polygon fill="black" stroke="black" points="1124.76,-333.77 1130.03,-324.58 1120.17,-328.48 1124.76,-333.77"/>
+<text text-anchor="middle" x="1077.38" y="-385.52" font-family="Times,serif" font-size="14.00">:op3</text>
+</g>
+<!-- f -->
<g id="node17" class="node">
-<title>m2</title>
-<ellipse fill="none" stroke="black" cx="1003.42" cy="-73.83" rx="73.83" ry="73.83"/>
-<text text-anchor="middle" x="1003.42" y="-69.16" font-family="Times,serif" font-size="14.00">m2/methane</text>
+<title>f</title>
+<ellipse fill="none" stroke="black" cx="577.68" cy="-294.57" rx="32.27" ry="32.27"/>
+<text text-anchor="middle" x="577.68" y="-289.9" font-family="Times,serif" font-size="14.00">f/far</text>
</g>
-<!-- a2->m2 -->
+<!-- h->f -->
<g id="edge16" class="edge">
-<title>a2->m2</title>
-<path fill="none" stroke="black" d="M839.16,-209.64C866.14,-187.19 904.71,-155.11 937.58,-127.77"/>
-<polygon fill="black" stroke="black" points="939.63,-130.62 945.08,-121.53 935.15,-125.24 939.63,-130.62"/>
-<text text-anchor="middle" x="896.22" y="-174.78" font-family="Times,serif" font-size="14.00">:op3</text>
+<title>h->f</title>
+<path fill="none" stroke="black" d="M398.04,-260.69C444.61,-269.52 498.25,-279.7 534.5,-286.57"/>
+<polygon fill="black" stroke="black" points="533.67,-289.98 544.14,-288.4 534.97,-283.1 533.67,-289.98"/>
+<text text-anchor="middle" x="449.08" y="-279.52" font-family="Times,serif" font-size="14.00">:ARG2</text>
+</g>
+<!-- m3 -->
+<g id="node18" class="node">
+<title>m3</title>
+<ellipse fill="none" stroke="black" cx="577.68" cy="-189.57" rx="54.89" ry="54.89"/>
+<text text-anchor="middle" x="577.68" y="-184.9" font-family="Times,serif" font-size="14.00">m3/most</text>
+</g>
+<!-- h->m3 -->
+<g id="edge17" class="edge">
+<title>h->m3</title>
+<path fill="none" stroke="black" d="M398.04,-224.11C435.8,-216.81 478.21,-208.61 512.23,-202.03"/>
+<polygon fill="black" stroke="black" points="512.79,-205.49 521.94,-200.16 511.46,-198.62 512.79,-205.49"/>
+<text text-anchor="middle" x="449.08" y="-222.52" font-family="Times,serif" font-size="14.00">:ARG3</text>
+</g>
+<!-- p4 -->
+<g id="node19" class="node">
+<title>p4</title>
+<ellipse fill="none" stroke="black" cx="577.68" cy="-58.57" rx="58.57" ry="58.57"/>
+<text text-anchor="middle" x="577.68" y="-53.9" font-family="Times,serif" font-size="14.00">p4/planet</text>
+</g>
+<!-- h->p4 -->
+<g id="edge18" class="edge">
+<title>h->p4</title>
+<path fill="none" stroke="black" d="M383.32,-188.36C427.03,-159.02 480,-123.47 519.43,-97"/>
+<polygon fill="black" stroke="black" points="521.03,-100.14 527.39,-91.66 517.13,-94.33 521.03,-100.14"/>
+<text text-anchor="middle" x="449.08" y="-165.52" font-family="Times,serif" font-size="14.00">:ARG5</text>
+</g>
+<!-- node_2 -->
+<g id="node22" class="node">
+<title>node_2</title>
+<polygon fill="none" stroke="black" points="822.51,-76.57 768.51,-76.57 768.51,-40.57 822.51,-40.57 822.51,-76.57"/>
+<text text-anchor="middle" x="795.51" y="-53.9" font-family="Times,serif" font-size="14.00">2</text>
+</g>
+<!-- p4->node_2 -->
+<g id="edge21" class="edge">
+<title>p4->node_2</title>
+<path fill="none" stroke="black" d="M636.52,-58.57C674.66,-58.57 723.53,-58.57 756.75,-58.57"/>
+<polygon fill="black" stroke="black" points="756.72,-62.07 766.72,-58.57 756.72,-55.07 756.72,-62.07"/>
+<text text-anchor="middle" x="697.64" y="-62.52" font-family="Times,serif" font-size="14.00">:quant</text>
</g>
</g>
</svg>
diff --git a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.ttl b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.ttl
index 98069023343fe35cab36e4eb8335ec35790b4a05..94f9fd49f898d11379a31cd899fbdd9f71929ed1 100644
--- a/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.ttl
+++ b/SolarSystem-20231005/amr-structures/SolarSystem-10/SolarSystem-10.stog.amr.ttl
@@ -10,20 +10,20 @@ ns1:Role a rdfs:Class ;
rdfs:label "AMR-Role" .
<http://amr.isi.edu/amr_data/SolarSystem-10#c> a ns3:compose-01 ;
- ns3:compose-01.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-10#g> ;
+ ns3:compose-01.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-10#a> ;
ns3:compose-01.ARG2 <http://amr.isi.edu/amr_data/SolarSystem-10#v> ;
- ns2:mod <http://amr.isi.edu/amr_data/SolarSystem-10#m3> .
+ ns2:mod <http://amr.isi.edu/amr_data/SolarSystem-10#m2> .
<http://amr.isi.edu/amr_data/SolarSystem-10#h> a ns3:have-degree-91 ;
- ns3:have-degree-91.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-10#a> ;
+ ns3:have-degree-91.ARG1 <http://amr.isi.edu/amr_data/SolarSystem-10#p> ;
ns3:have-degree-91.ARG2 <http://amr.isi.edu/amr_data/SolarSystem-10#f> ;
- ns3:have-degree-91.ARG3 <http://amr.isi.edu/amr_data/SolarSystem-10#m> ;
- ns3:have-degree-91.ARG5 <http://amr.isi.edu/amr_data/SolarSystem-10#p3> .
+ ns3:have-degree-91.ARG3 <http://amr.isi.edu/amr_data/SolarSystem-10#m3> ;
+ ns3:have-degree-91.ARG5 <http://amr.isi.edu/amr_data/SolarSystem-10#p4> .
<http://amr.isi.edu/amr_data/SolarSystem-10#root01> a ns1:AMR ;
ns1:has-id "SolarSystem-10" ;
- ns1:has-sentence "The two outermost planets, Uranus and Neptune, are ice giants, being composed mainly of volatiles, such as water, ammonia and methane." ;
- ns1:root <http://amr.isi.edu/amr_data/SolarSystem-10#g> .
+ ns1:has-sentence "The two outermost planets, Uranus and Neptune, are ice giant planets, being composed mainly of volatiles, such as water, ammonia and methane." ;
+ ns1:root <http://amr.isi.edu/amr_data/SolarSystem-10#p> .
ns3:compose-01.ARG1 a ns3:FrameRole .
@@ -52,27 +52,31 @@ ns2:op3 a ns1:Role .
<http://amr.isi.edu/amr_data/SolarSystem-10#a2> a ns1:and ;
ns2:op1 <http://amr.isi.edu/amr_data/SolarSystem-10#w> ;
ns2:op2 <http://amr.isi.edu/amr_data/SolarSystem-10#a3> ;
- ns2:op3 <http://amr.isi.edu/amr_data/SolarSystem-10#m2> .
+ ns2:op3 <http://amr.isi.edu/amr_data/SolarSystem-10#m> .
<http://amr.isi.edu/amr_data/SolarSystem-10#a3> a ns2:ammonia .
<http://amr.isi.edu/amr_data/SolarSystem-10#f> a ns2:far .
+<http://amr.isi.edu/amr_data/SolarSystem-10#g> a ns2:giant ;
+ ns2:mod <http://amr.isi.edu/amr_data/SolarSystem-10#ii> .
+
<http://amr.isi.edu/amr_data/SolarSystem-10#ii> a ns2:ice .
-<http://amr.isi.edu/amr_data/SolarSystem-10#m> a ns1:most .
+<http://amr.isi.edu/amr_data/SolarSystem-10#m> a ns2:methane .
-<http://amr.isi.edu/amr_data/SolarSystem-10#m2> a ns2:methane .
+<http://amr.isi.edu/amr_data/SolarSystem-10#m2> a ns2:main .
-<http://amr.isi.edu/amr_data/SolarSystem-10#m3> a ns2:main .
+<http://amr.isi.edu/amr_data/SolarSystem-10#m3> a ns1:most .
-<http://amr.isi.edu/amr_data/SolarSystem-10#p> a <http://amr.isi.edu/entity-types#planet> ;
+<http://amr.isi.edu/amr_data/SolarSystem-10#p2> a <http://amr.isi.edu/entity-types#planet> ;
rdfs:label "Uranus" .
-<http://amr.isi.edu/amr_data/SolarSystem-10#p2> a <http://amr.isi.edu/entity-types#planet> ;
+<http://amr.isi.edu/amr_data/SolarSystem-10#p3> a <http://amr.isi.edu/entity-types#planet> ;
rdfs:label "Neptune" .
-<http://amr.isi.edu/amr_data/SolarSystem-10#p3> a <http://amr.isi.edu/entity-types#planet> .
+<http://amr.isi.edu/amr_data/SolarSystem-10#p4> a <http://amr.isi.edu/entity-types#planet> ;
+ ns2:quant "2" .
<http://amr.isi.edu/amr_data/SolarSystem-10#v> a ns2:volatile ;
ns2:example <http://amr.isi.edu/amr_data/SolarSystem-10#a2> .
@@ -106,12 +110,12 @@ ns1:NamedEntity a ns1:Concept ;
ns1:most a ns1:Concept .
<http://amr.isi.edu/amr_data/SolarSystem-10#a> a ns1:and ;
- ns2:op1 <http://amr.isi.edu/amr_data/SolarSystem-10#p> ;
- ns2:op2 <http://amr.isi.edu/amr_data/SolarSystem-10#p2> .
+ ns2:op1 <http://amr.isi.edu/amr_data/SolarSystem-10#p2> ;
+ ns2:op2 <http://amr.isi.edu/amr_data/SolarSystem-10#p3> .
-<http://amr.isi.edu/amr_data/SolarSystem-10#g> a ns2:giant ;
+<http://amr.isi.edu/amr_data/SolarSystem-10#p> a <http://amr.isi.edu/entity-types#planet> ;
ns2:domain <http://amr.isi.edu/amr_data/SolarSystem-10#a> ;
- ns2:mod <http://amr.isi.edu/amr_data/SolarSystem-10#ii> .
+ ns2:mod <http://amr.isi.edu/amr_data/SolarSystem-10#g> .
ns1:Frame a ns1:Concept ;
rdfs:label "AMR-PropBank-Frame" .
diff --git a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid.ttl
index f68c2fad8daa0902701e57392a54e538589d5e67..910473f2fd89940551fc25267c2b6372bcba4bc9 100644
--- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid.ttl
+++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid.ttl
@@ -19,11 +19,13 @@ result:Jupiter a owl:Individual,
result:Neptune a owl:Individual,
base:Entity,
- result:planet ;
+ result:planet,
+ result:planet-compose-volatile ;
rdfs:label "Neptune" ;
base:fromStructure "SolarSystem-10",
"SolarSystem-16",
- "SolarSystem-18" .
+ "SolarSystem-18" ;
+ result:compose result:volatile-SolarSystem-10 .
result:Saturn a owl:Individual,
base:Entity,
@@ -37,9 +39,11 @@ result:Saturn a owl:Individual,
result:Uranus a owl:Individual,
base:Entity,
- result:planet ;
+ result:planet,
+ result:planet-compose-volatile ;
rdfs:label "Uranus" ;
- base:fromStructure "SolarSystem-10" .
+ base:fromStructure "SolarSystem-10" ;
+ result:compose result:volatile-SolarSystem-10 .
result:all a owl:ObjectProperty ;
rdfs:label "all" ;
@@ -147,20 +151,15 @@ result:dust a owl:Class ;
result:dwarf-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:dwarf ;
+ owl:hasValue result:not-most-large ;
owl:onProperty result:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue result:not-most-large ;
+ owl:hasValue result:dwarf ;
owl:onProperty result:hasFeature ],
result:object-direct-orbit-sun,
result:planet ;
base:fromStructure "SolarSystem-02" .
-result:far a owl:Class ;
- rdfs:label "far" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-10" .
-
result:flat a owl:ObjectProperty ;
rdfs:label "flat" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
@@ -171,13 +170,6 @@ result:form a owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-04" .
-result:gas-giant a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:gas ;
- owl:onProperty result:hasFeature ],
- result:giant ;
- base:fromStructure "SolarSystem-09" .
-
result:gravitation-SolarSystem-01 a owl:Individual,
base:Entity,
result:gravitation-bind-system,
@@ -202,18 +194,6 @@ result:high a owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-11" .
-result:ice-giant-compose-volatile a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:volatile ],
- result:ice-giant ;
- base:fromStructure "SolarSystem-10" .
-
-result:large a owl:Class ;
- rdfs:label "large" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-09" .
-
result:lie a owl:ObjectProperty ;
rdfs:label "lie" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
@@ -282,6 +262,22 @@ result:most a owl:Individual,
"SolarSystem-10",
"SolarSystem-15" .
+result:most-far-giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue result:most-far ;
+ owl:onProperty result:hasFeature ],
+ result:giant-planet,
+ result:planet ;
+ base:fromStructure "SolarSystem-10" .
+
+result:most-large-giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue result:most-large ;
+ owl:onProperty result:hasFeature ],
+ result:giant-planet,
+ result:planet ;
+ base:fromStructure "SolarSystem-09" .
+
result:most-large-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue result:most-large ;
@@ -482,6 +478,462 @@ result:year a owl:ObjectProperty ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-04" .
+<na5d802f66d4a41d8b2bf17c71a5fddfcb1> a owl:Restriction ;
+ owl:hasValue result:almost ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb10> a owl:Restriction ;
+ owl:hasValue result:giant ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb100> a owl:Restriction ;
+ owl:hasValue result:giant ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb101> a owl:Restriction ;
+ owl:hasValue result:giant ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb102> a owl:Restriction ;
+ owl:hasValue result:giant ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb103> a owl:Restriction ;
+ owl:onProperty result:direct-orbit ;
+ owl:someValuesFrom result:sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb104> a owl:Restriction ;
+ owl:onProperty result:direct-orbit ;
+ owl:someValuesFrom result:sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb105> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb106> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb107> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:metal .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb108> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:metal .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb109> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:metal .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb11> a owl:Restriction ;
+ owl:hasValue result:most-far ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb110> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:metal .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb111> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:rock .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb112> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:rock .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb113> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:rock .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb114> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:rock .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb12> a owl:Restriction ;
+ owl:hasValue result:most-large ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb13> a owl:Restriction ;
+ owl:hasValue result:most-large ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb14> a owl:Restriction ;
+ owl:onProperty result:not-direct-orbit ;
+ owl:someValuesFrom result:sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb15> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:giant-planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb16> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:more-massive-giant-planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb17> a owl:Restriction ;
+ owl:onProperty result:encircle ;
+ owl:someValuesFrom result:outer-planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb18> a owl:Restriction ;
+ owl:onProperty result:know ;
+ owl:someValuesFrom result:disk .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb19> a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:body-include-more-small-body .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb2> a owl:Restriction ;
+ owl:onProperty result:call ;
+ owl:someValuesFrom result:sedoid .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb20> a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:planet-include-planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb21> a owl:Restriction ;
+ owl:onProperty result:encircle ;
+ owl:someValuesFrom result:outer-planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb22> a owl:Restriction ;
+ owl:onProperty result:have ;
+ owl:someValuesFrom result:point .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb23> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:mass-be-sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb24> a owl:Restriction ;
+ owl:hasValue result:vast ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb25> a owl:Restriction ;
+ owl:hasValue result:also ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb26> a owl:Restriction ;
+ owl:hasValue result:asteroid ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb27> a owl:Restriction ;
+ owl:onProperty result:include ;
+ owl:someValuesFrom result:more-small-body .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb28> a owl:Restriction ;
+ owl:onProperty result:call ;
+ owl:someValuesFrom result:thing .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb29> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object-compose-ice .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb3> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object-compose-metal .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb30> a owl:Restriction ;
+ owl:hasValue result:gas ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb31> a owl:Restriction ;
+ owl:onProperty result:bind ;
+ owl:someValuesFrom result:system-hasPart-object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb32> a owl:Restriction ;
+ owl:onProperty result:bind ;
+ owl:someValuesFrom result:system-hasPart-sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb33> a owl:Restriction ;
+ owl:hasValue result:ice ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb34> a owl:Restriction ;
+ owl:hasValue result:inner ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb35> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:planet-compose-metal .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb36> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:planet-compose-rock .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb37> a owl:Restriction ;
+ owl:onProperty result:be ;
+ owl:someValuesFrom result:sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb38> a owl:Restriction ;
+ owl:hasValue result:more-massive ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb39> a owl:Restriction ;
+ owl:onProperty result:isMoreMassiveThan ;
+ owl:someValuesFrom result:terrestrial-planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb4> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object-compose-rock .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb40> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:metal .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb41> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:rock .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb42> a owl:Restriction ;
+ owl:onProperty result:isMoreLargeThan ;
+ owl:someValuesFrom result:most-small-planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb43> a owl:Restriction ;
+ owl:hasValue result:outer ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb44> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:mass .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb45> a owl:Restriction ;
+ owl:hasValue result:planet ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb46> a owl:Restriction ;
+ owl:onProperty result:know ;
+ owl:someValuesFrom result:thing .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb47> a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:body .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb48> a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:body .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb49> a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb5> a owl:Restriction ;
+ owl:onProperty result:isMoreSmallThan ;
+ owl:someValuesFrom result:planet-include-planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb50> a owl:Restriction ;
+ owl:onProperty result:orbit ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb51> a owl:Restriction ;
+ owl:hasValue result:small ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb52> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:more-small-object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb53> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:mass .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb54> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:mass .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb55> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:object-orbit-hasManner-direct-sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb56> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:object-orbit-hasManner-not-direct-sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb57> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:small-body .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb58> a owl:Restriction ;
+ owl:hasValue result:terrestrial ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb59> a owl:Restriction ;
+ owl:hasValue result:terrestrial ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb6> a owl:Restriction ;
+ owl:hasValue result:not-most-large ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb60> a owl:Restriction ;
+ owl:hasValue result:terrestrial ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb61> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object-compose-ice .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb62> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb63> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb64> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb65> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb66> a owl:Restriction ;
+ owl:onProperty result:isMoreLargeThan ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb67> a owl:Restriction ;
+ owl:hasValue result:more-large ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb68> a owl:Restriction ;
+ owl:onProperty result:isMoreLargeThan ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb69> a owl:Restriction ;
+ owl:hasValue result:more-large ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb7> a owl:Restriction ;
+ owl:hasValue result:dwarf ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb70> a owl:Restriction ;
+ owl:hasValue result:more-small ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb71> a owl:Restriction ;
+ owl:onProperty result:isMoreSmallThan ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb72> a owl:Restriction ;
+ owl:onProperty result:isMoreSmallThan ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb73> a owl:Restriction ;
+ owl:hasValue result:more-small ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb74> a owl:Restriction ;
+ owl:hasValue result:more-small ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb75> a owl:Restriction ;
+ owl:hasValue result:more-small ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb76> a owl:Restriction ;
+ owl:hasValue result:not-most-large ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb77> a owl:Restriction ;
+ owl:hasValue result:most-small ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb78> a owl:Restriction ;
+ owl:onProperty result:orbit-hasManner-direct ;
+ owl:someValuesFrom result:sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb79> a owl:Restriction ;
+ owl:onProperty result:orbit-hasManner-not-direct ;
+ owl:someValuesFrom result:sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb8> a owl:Restriction ;
+ owl:hasValue result:interstellar ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb80> a owl:Restriction ;
+ owl:hasValue result:outer ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb81> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:helium .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb82> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:helium .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb83> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:hydrogen .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb84> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:hydrogen .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb85> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:volatile .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb86> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:volatile .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb87> a owl:Restriction ;
+ owl:onProperty result:include ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb88> a owl:Restriction ;
+ owl:hasValue result:not-most-large ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb89> a owl:Restriction ;
+ owl:hasValue result:small ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb9> a owl:Restriction ;
+ owl:hasValue result:molecular ;
+ owl:onProperty result:hasFeature .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb90> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:sun .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb91> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb92> a owl:Restriction ;
+ owl:onProperty result:contain ;
+ owl:someValuesFrom result:object .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb93> a owl:Restriction ;
+ owl:onProperty result:bind ;
+ owl:someValuesFrom result:system .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb94> a owl:Restriction ;
+ owl:onProperty result:bind ;
+ owl:someValuesFrom result:system .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb95> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb96> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb97> a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:ice .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb98> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:planet .
+
+<na5d802f66d4a41d8b2bf17c71a5fddfcb99> a owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:planet .
+
result:Earth a owl:Individual,
base:Entity,
result:planet,
@@ -605,6 +1057,13 @@ result:ecliptic a owl:Individual,
rdfs:label "ecliptic" ;
base:fromStructure "SolarSystem-13" .
+result:gas-giant a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue result:gas ;
+ owl:onProperty result:hasFeature ],
+ result:giant ;
+ base:fromStructure "SolarSystem-09" .
+
result:gravitation a owl:Class ;
rdfs:label "gravitation" ;
rdfs:subClassOf base:Entity ;
@@ -872,11 +1331,6 @@ result:dwarf a owl:Individual,
rdfs:label "dwarf" ;
base:fromStructure "SolarSystem-02" .
-result:gas a owl:Individual,
- base:Feature ;
- rdfs:label "gas" ;
- base:fromStructure "SolarSystem-09" .
-
result:have a owl:ObjectProperty ;
rdfs:label "have" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
@@ -922,9 +1376,6 @@ result:molecular a owl:Individual,
result:more-large-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:more-large ;
- owl:onProperty result:hasFeature ],
- [ a owl:Restriction ;
owl:onProperty result:isMoreLargeThan ;
owl:someValuesFrom result:planet ],
[ a owl:Restriction ;
@@ -933,6 +1384,9 @@ result:more-large-object a owl:Class ;
[ a owl:Restriction ;
owl:onProperty result:isMoreLargeThan ;
owl:someValuesFrom result:planet ],
+ [ a owl:Restriction ;
+ owl:hasValue result:more-large ;
+ owl:onProperty result:hasFeature ],
result:object ;
base:fromStructure "SolarSystem-03" .
@@ -943,19 +1397,19 @@ result:more-massive a owl:Individual,
result:more-massive-giant-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:isMoreMassiveThan ;
- owl:someValuesFrom result:terrestrial-planet ],
- [ a owl:Restriction ;
owl:hasValue result:more-massive ;
owl:onProperty result:hasFeature ],
+ [ a owl:Restriction ;
+ owl:onProperty result:isMoreMassiveThan ;
+ owl:someValuesFrom result:terrestrial-planet ],
result:giant-planet,
result:planet ;
base:fromStructure "SolarSystem-08" .
-result:most-large a owl:Individual,
+result:most-far a owl:Individual,
base:Feature ;
- rdfs:label "most-large" ;
- base:fromStructure "SolarSystem-02" .
+ rdfs:label "most-far" ;
+ base:fromStructure "SolarSystem-10" .
result:not-direct-orbit rdfs:subPropertyOf result:orbit ;
base:fromStructure "SolarSystem-03" .
@@ -1010,6 +1464,16 @@ result:planet-compose-hydrogen a owl:Class ;
result:planet ;
base:fromStructure "SolarSystem-09" .
+result:planet-compose-volatile a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:volatile ],
+ [ a owl:Restriction ;
+ owl:onProperty result:compose ;
+ owl:someValuesFrom result:volatile ],
+ result:planet ;
+ base:fromStructure "SolarSystem-10" .
+
result:point a owl:Class ;
rdfs:label "point" ;
rdfs:subClassOf base:Entity ;
@@ -1051,6 +1515,12 @@ result:vast a owl:Individual,
rdfs:label "vast" ;
base:fromStructure "SolarSystem-05" .
+result:volatile-SolarSystem-10 a owl:Individual,
+ base:Entity,
+ result:volatile ;
+ rdfs:label "volatile (SolarSystem-10)" ;
+ base:fromStructure "SolarSystem-10" .
+
result:world-region a owl:Class ;
rdfs:label "world-region" ;
rdfs:subClassOf base:Entity ;
@@ -1072,12 +1542,10 @@ result:disk a owl:Class ;
base:fromStructure "SolarSystem-16",
"SolarSystem-17" .
-result:giant-planet a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:giant ;
- owl:onProperty result:hasFeature ],
- result:planet ;
- base:fromStructure "SolarSystem-08" .
+result:gas a owl:Individual,
+ base:Feature ;
+ rdfs:label "gas" ;
+ base:fromStructure "SolarSystem-09" .
result:gravitation-bind-system a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
@@ -1101,14 +1569,14 @@ result:inner-system-hasPart-planet a owl:Class ;
result:more-small-body a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:isMoreSmallThan ;
- owl:someValuesFrom result:planet ],
- [ a owl:Restriction ;
owl:hasValue result:more-small ;
owl:onProperty result:hasFeature ],
[ a owl:Restriction ;
owl:onProperty result:isMoreSmallThan ;
owl:someValuesFrom result:planet ],
+ [ a owl:Restriction ;
+ owl:onProperty result:isMoreSmallThan ;
+ owl:someValuesFrom result:planet ],
[ a owl:Restriction ;
owl:hasValue result:more-small ;
owl:onProperty result:hasFeature ],
@@ -1120,10 +1588,10 @@ result:more-small-object a owl:Class ;
owl:hasValue result:more-small ;
owl:onProperty result:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue result:not-most-large ;
+ owl:hasValue result:more-small ;
owl:onProperty result:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue result:more-small ;
+ owl:hasValue result:not-most-large ;
owl:onProperty result:hasFeature ],
result:object,
result:object-direct-orbit-sun ;
@@ -1169,10 +1637,10 @@ result:outer-system-hasPart-planet a owl:Class ;
result:small-body a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:small ;
+ owl:hasValue result:not-most-large ;
owl:onProperty result:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue result:not-most-large ;
+ owl:hasValue result:small ;
owl:onProperty result:hasFeature ],
result:body,
result:object-direct-orbit-sun ;
@@ -1191,12 +1659,6 @@ result:system-hasPart-sun a owl:Class ;
result:system ;
base:fromStructure "SolarSystem-01" .
-result:volatile a owl:Class ;
- rdfs:label "volatile" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-10",
- "SolarSystem-11" .
-
result:call a owl:ObjectProperty ;
rdfs:label "call" ;
rdfs:subPropertyOf base:Out_ObjectProperty ;
@@ -1228,6 +1690,12 @@ result:metal-SolarSystem-07 a owl:Individual,
rdfs:label "metal (SolarSystem-07)" ;
base:fromStructure "SolarSystem-07" .
+result:most-large a owl:Individual,
+ base:Feature ;
+ rdfs:label "most-large" ;
+ base:fromStructure "SolarSystem-02",
+ "SolarSystem-09" .
+
result:object-direct-orbit-sun a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty result:direct-orbit ;
@@ -1264,6 +1732,21 @@ result:rock-SolarSystem-07 a owl:Individual,
rdfs:label "rock (SolarSystem-07)" ;
base:fromStructure "SolarSystem-07" .
+result:giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue result:giant ;
+ owl:onProperty result:hasFeature ],
+ [ a owl:Restriction ;
+ owl:hasValue result:giant ;
+ owl:onProperty result:hasFeature ],
+ [ a owl:Restriction ;
+ owl:hasValue result:giant ;
+ owl:onProperty result:hasFeature ],
+ result:planet ;
+ base:fromStructure "SolarSystem-08",
+ "SolarSystem-09",
+ "SolarSystem-10" .
+
result:helium a owl:Class ;
rdfs:label "helium" ;
rdfs:subClassOf base:Entity ;
@@ -1276,14 +1759,6 @@ result:hydrogen a owl:Class ;
base:fromStructure "SolarSystem-09",
"SolarSystem-11" .
-result:ice a owl:Class,
- owl:Individual,
- base:Feature ;
- rdfs:label "ice" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-10",
- "SolarSystem-17" .
-
result:more-large a owl:Individual,
base:Feature ;
rdfs:label "more-large" ;
@@ -1315,16 +1790,13 @@ result:system-hasPart-object a owl:Class ;
result:system ;
base:fromStructure "SolarSystem-01" .
-result:giant a owl:Class,
+result:ice a owl:Class,
owl:Individual,
base:Feature ;
- rdfs:label "giant" ;
- rdfs:subClassOf base:Entity,
- base:Undetermined_Thing ;
- base:fromStructure "SolarSystem-04",
- "SolarSystem-08",
- "SolarSystem-09",
- "SolarSystem-10" .
+ rdfs:label "ice" ;
+ rdfs:subClassOf base:Entity ;
+ base:fromStructure "SolarSystem-10",
+ "SolarSystem-17" .
result:isMoreLargeThan rdfs:subPropertyOf base:Out_ObjectProperty ;
base:fromStructure "SolarSystem-03" .
@@ -1377,6 +1849,12 @@ result:thing a owl:Class ;
base:fromStructure "SolarSystem-13",
"SolarSystem-16" .
+result:volatile a owl:Class ;
+ rdfs:label "volatile" ;
+ rdfs:subClassOf base:Entity ;
+ base:fromStructure "SolarSystem-10",
+ "SolarSystem-11" .
+
result:body a owl:Class ;
rdfs:label "body" ;
rdfs:subClassOf base:Entity ;
@@ -1406,6 +1884,20 @@ result:more-small a owl:Individual,
"SolarSystem-14",
"SolarSystem-19" .
+result:giant a owl:Class,
+ owl:Individual,
+ base:Feature,
+ result:gas-giant,
+ result:ice-giant ;
+ rdfs:label "giant" ;
+ rdfs:subClassOf base:Undetermined_Thing ;
+ base:fromStructure "SolarSystem-04",
+ "SolarSystem-08",
+ "SolarSystem-09",
+ "SolarSystem-10" ;
+ result:hasFeature result:gas,
+ result:ice .
+
result:metal a owl:Class ;
rdfs:label "metal" ;
rdfs:subClassOf base:Entity ;
diff --git a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_10.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_10.ttl
index a11fd2f5c8a4711afbcce453dcbd58e77eb47d5d..6e109eccdf22dbb72bc56c7e74a4dcf35d64b71c 100644
--- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_10.ttl
+++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_10.ttl
@@ -1,92 +1,234 @@
-@prefix base: <https://reference.tetras-libre.fr/base-ontology#> .
+@prefix : <http://www.semanticweb.org/owl/owlapi/turtle#> .
@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#compose-of
+result:compose-of rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "compose-of" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### 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#main-compose-of
+result:main-compose-of rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf result:compose-of ;
+ rdfs:label "primary-compose-of" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+#################################################################
+# Classes
+#################################################################
+
+### http://www.w3.org/2002/07/owl#Individual
+owl:Individual rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Degree
+base:Degree 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/expected-result#ammonia
+result:ammonia rdf:type owl:Class ;
+ rdfs:subClassOf result:volatile ;
+ rdfs:label "ammonia" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#giant-planet
+result:giant-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:giant
+ ] ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#ice-giant-planet
+result:ice-giant-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:giant-planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:ice
+ ] ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:most-far
+ ] ;
+ base:fromStructure "SolarSystem-10" ;
+ base:hasQuantity 2 .
+
+
+### https://reference.tetras-libre.fr/expected-result#methane
+result:methane rdf:type owl:Class ;
+ rdfs:subClassOf result:volatile ;
+ rdfs:label "methane" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet
+result:planet rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "planet" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-compose-of-volatile
+result:planet-compose-of-volatile rdf:type owl:Class ;
+ rdfs:subClassOf result:ice-giant-planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:compose-of ;
+ owl:someValuesFrom result:volatile
+ ] ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-compose-volatile
+result:planet-compose-volatile rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-main-compose-of-volatile
+result:planet-main-compose-of-volatile rdf:type owl:Class ;
+ rdfs:subClassOf result:planet-compose-of-volatile ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:main-compose-of ;
+ owl:someValuesFrom result:volatile
+ ] ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#volatile
+result:volatile rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "volatile" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#water
+result:water rdf:type owl:Class ;
+ rdfs:subClassOf result:volatile ;
+ rdfs:label "water" ;
+ base:fromStructure "SolarSystem-10" .
-result:Neptune a owl:Individual,
- base:Entity,
- result:planet ;
- rdfs:label "Neptune" ;
- base:fromStructure "SolarSystem-10" .
-
-result:Uranus a owl:Individual,
- base:Entity,
- result:planet ;
- rdfs:label "Uranus" ;
- base:fromStructure "SolarSystem-10" .
-
-result:ammonia a owl:Class ;
- rdfs:label "ammonia" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "SolarSystem-10" .
-
-result:far a owl:Class ;
- rdfs:label "far" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-10" .
-
-result:ice-giant-compose-volatile a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:volatile ],
- result:ice-giant ;
- base:fromStructure "SolarSystem-10" .
-
-result:main a owl:Class ;
- rdfs:label "main" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "SolarSystem-10" .
-
-result:methane a owl:Class ;
- rdfs:label "methane" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "SolarSystem-10" .
-
-result:most a owl:ObjectProperty ;
- rdfs:label "most" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "SolarSystem-10" .
-
-result:water a owl:Class ;
- rdfs:label "water" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "SolarSystem-10" .
-
-result:giant a owl:Class ;
- rdfs:label "giant" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-10" .
-
-result:ice-giant a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:ice ;
- owl:onProperty result:hasFeature ],
- result:giant ;
- base:fromStructure "SolarSystem-10" .
-
-result:compose a owl:ObjectProperty ;
- rdfs:label "compose" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "SolarSystem-10" .
-
-result:hasFeature a owl:ObjectProperty ;
- rdfs:label "hasFeature" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "predefinedProperty" .
-
-result:ice a owl:Individual,
- base:Feature ;
- rdfs:label "ice" ;
- base:fromStructure "SolarSystem-10" .
-
-result:planet a owl:Class ;
- rdfs:label "planet" ;
- rdfs:subClassOf base:Entity,
- base:Undetermined_Thing ;
- base:fromStructure "SolarSystem-10" .
-
-result:volatile a owl:Class ;
- rdfs:label "volatile" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-10" .
+#################################################################
+# Individuals
+#################################################################
+
+### https://reference.tetras-libre.fr/expected-result#Neptune
+result:Neptune rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:ice-giant-planet ,
+ result:planet ,
+ result:planet-compose-volatile ,
+ result:planet-main-compose-of-volatile ;
+ result:hasFeature result:giant ;
+ result:hasFeature result:ice ;
+ result:main-compose-of result:volatile-SolarSystem-10 ;
+ rdfs:label "Neptune" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#Uranus
+result:Uranus rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:ice-giant-planet ,
+ result:planet ,
+ result:planet-compose-volatile ,
+ result:planet-main-compose-of-volatile ;
+ result:hasFeature result:giant ;
+ result:hasFeature result:ice ;
+ result:main-compose-of result:volatile-SolarSystem-10 ;
+ rdfs:label "Uranus" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#giant
+result:giant rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "giant" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#ice
+result:ice rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "ice" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most
+result:most rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree ;
+ rdfs:label "most" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most-far
+result:most-far rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "most-far" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### https://reference.tetras-libre.fr/expected-result#volatile-SolarSystem-10
+result:volatile-SolarSystem-10 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:volatile ;
+ rdfs:label "volatile (SolarSystem-10)" ;
+ base:fromStructure "SolarSystem-10" .
+
+
+### 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_2.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
index f5801805e001e04d7f2a1095d09909287a5c90c7..a09061a6d9fefd2800e9177c997ab7691b3b5717 100644
--- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
+++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl
@@ -1,163 +1,282 @@
-@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#direct-orbit
+result:direct-orbit rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf result:orbit ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### 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#hasPart
+result:hasPart rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "hasPart" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#orbit
+result:orbit rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "orbit" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+#################################################################
+# Classes
+#################################################################
+
+### http://www.w3.org/2002/07/owl#Individual
+owl:Individual rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Degree
+base:Degree 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/expected-result#body
+result:body rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "body" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#dwarf-planet
+result:dwarf-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:object-direct-orbit-sun ,
+ result:planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:dwarf
+ ] ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:not-most-large
+ ] ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#more-small-object
+result:more-small-object rdf:type owl:Class ;
+ rdfs:subClassOf result:object ,
+ result:object-direct-orbit-sun ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:more-small
+ ] ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:not-most-large
+ ] ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most-large-planet
+result:most-large-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:object-direct-orbit-sun ,
+ result:planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:most-large
+ ] ;
+ base:fromStructure "SolarSystem-02" ;
+ base:hasQuantity 8 .
+
+
+### https://reference.tetras-libre.fr/expected-result#object
+result:object rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "object" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#object-direct-orbit-sun
+result:object-direct-orbit-sun rdf:type owl:Class ;
+ rdfs:subClassOf result:object ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:direct-orbit ;
+ owl:someValuesFrom result:sun
+ ] ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet
+result:planet rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "planet" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#small-body
+result:small-body rdf:type owl:Class ;
+ rdfs:subClassOf result:body ,
+ result:object-direct-orbit-sun ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:not-most-large
+ ] ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:small
+ ] ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#sun
+result:sun rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "sun" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#system
+result:system rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "system" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#system-hasPart-small-body
+result:system-hasPart-small-body rdf:type owl:Class ;
+ rdfs:subClassOf result:system ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasPart ;
+ owl:someValuesFrom result:small-body
+ ] ;
+ base:fromStructure "SolarSystem-02" .
+
+
+#################################################################
+# Individuals
+#################################################################
+
+### https://reference.tetras-libre.fr/expected-result#SolarSystem
+result:SolarSystem rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:system ,
+ result:system-hasPart-small-body ;
+ result:hasPart result:body-SolarSystem-02 ;
+ rdfs:label "SolarSystem" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#body-SolarSystem-02
+result:body-SolarSystem-02 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:small-body ;
+ result:hasFeature result:not-most-large ,
+ result:small ;
+ rdfs:label "body (SolarSystem-02)" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#direct
+result:direct rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "direct" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#dwarf
+result:dwarf rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "dwarf" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#more
+result:more rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree ;
+ rdfs:label "more" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#more-small
+result:more-small rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "more-small" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most
+result:most rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree ;
+ rdfs:label "most" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most-large
+result:most-large rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "most-large" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#not-most-large
+result:not-most-large rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "not-most-large" ;
+ base:fromStructure "SolarSystem-02" .
+
+
+### https://reference.tetras-libre.fr/expected-result#small
+result:small rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "small" ;
+ base:fromStructure "SolarSystem-02" .
-result:SolarSystem a owl:Individual,
- base:Entity,
- result:system,
- result:system-hasPart-small-body ;
- rdfs:label "SolarSystem" ;
- base:fromStructure "SolarSystem-02" ;
- result:hasPart result:body-SolarSystem-02 .
-
-result:direct a owl:Individual,
- base:Feature ;
- rdfs:label "direct" ;
- base:fromStructure "SolarSystem-02" .
-
-result:dwarf-planet a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:dwarf ;
- owl:onProperty result:hasFeature ],
- [ a owl:Restriction ;
- owl:hasValue result:not-most-large ;
- owl:onProperty result:hasFeature ],
- result:object-direct-orbit-sun,
- result:planet ;
- base:fromStructure "SolarSystem-02" .
-
-result:more a owl:Individual,
- base:Degree ;
- rdfs:label "more" ;
- base:fromStructure "SolarSystem-02" .
-
-result:more-small-object a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:not-most-large ;
- owl:onProperty result:hasFeature ],
- [ a owl:Restriction ;
- owl:hasValue result:more-small ;
- owl:onProperty result:hasFeature ],
- result:object,
- result:object-direct-orbit-sun ;
- base:fromStructure "SolarSystem-02" .
-
-result:most a owl:Individual,
- base:Degree ;
- rdfs:label "most" ;
- base:fromStructure "SolarSystem-02" .
-
-result:most-large-planet a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:most-large ;
- owl:onProperty result:hasFeature ],
- result:object-direct-orbit-sun,
- result:planet ;
- base:hasQuantity "8" ;
- base:fromStructure "SolarSystem-02" .
-
-result:body a owl:Class ;
- rdfs:label "body" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-02" .
-
-result:body-SolarSystem-02 a owl:Individual,
- base:Entity,
- result:small-body ;
- rdfs:label "body (SolarSystem-02)" ;
- base:fromStructure "SolarSystem-02" ;
- result:hasFeature result:not-most-large,
- result:small .
-
-result:orbit a owl:ObjectProperty ;
- rdfs:label "orbit" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "SolarSystem-02" .
-
-result:system-hasPart-small-body a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:hasPart ;
- owl:someValuesFrom result:small-body ],
- result:system ;
- base:fromStructure "SolarSystem-02" .
-
-result:dwarf a owl:Individual,
- base:Feature ;
- rdfs:label "dwarf" ;
- base:fromStructure "SolarSystem-02" .
-
-result:hasPart a owl:ObjectProperty ;
- rdfs:label "hasPart" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "SolarSystem-02" .
-
-result:more-small a owl:Individual,
- base:Feature ;
- rdfs:label "more-small" ;
- base:fromStructure "SolarSystem-02" .
-
-result:most-large a owl:Individual,
- base:Feature ;
- rdfs:label "most-large" ;
- base:fromStructure "SolarSystem-02" .
-
-result:object a owl:Class ;
- rdfs:label "object" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-02" .
-
-result:planet a owl:Class ;
- rdfs:label "planet" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-02" .
-
-result:system a owl:Class ;
- rdfs:label "system" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-02" .
-
-result:small a owl:Individual,
- base:Feature ;
- rdfs:label "small" ;
- base:fromStructure "SolarSystem-02" .
-
-result:small-body a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:not-most-large ;
- owl:onProperty result:hasFeature ],
- [ a owl:Restriction ;
- owl:hasValue result:small ;
- owl:onProperty result:hasFeature ],
- result:body,
- result:object-direct-orbit-sun ;
- base:fromStructure "SolarSystem-02" .
-
-result:direct-orbit rdfs:subPropertyOf result:orbit ;
- base:fromStructure "SolarSystem-02" .
-
-result:object-direct-orbit-sun a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:direct-orbit ;
- owl:someValuesFrom result:sun ],
- [ a owl:Restriction ;
- owl:onProperty result:direct-orbit ;
- owl:someValuesFrom result:sun ],
- result:object ;
- base:fromStructure "SolarSystem-02" .
-
-result:sun a owl:Class ;
- rdfs:label "sun" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-02" .
-
-result:not-most-large a owl:Individual,
- base:Feature ;
- rdfs:label "not-most-large" ;
- base:fromStructure "SolarSystem-02" .
-
-result:hasFeature a owl:ObjectProperty ;
- rdfs:label "hasFeature" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "predefinedProperty" .
+### 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_7.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_7.ttl
index 2a0e963f22c83570633edb0ca58718e5c5fa7e09..8e5af5d75d9876a28829db719940bb0ce990191b 100644
--- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_7.ttl
+++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_7.ttl
@@ -111,16 +111,6 @@ result:metal rdf:type owl:Class ;
base:fromStructure "SolarSystem-06" .
-### https://reference.tetras-libre.fr/expected-result#more-small-planet
-result:more-small-planet rdf:type owl:Class ;
- rdfs:subClassOf result:terrestrial-planet ,
- [ rdf:type owl:Restriction ;
- owl:onProperty result:hasFeature ;
- owl:hasValue result:more-small
- ] ;
- base:fromStructure "SolarSystem-06" .
-
-
### https://reference.tetras-libre.fr/expected-result#planet
result:planet rdf:type owl:Class ;
rdfs:subClassOf base:Entity ;
@@ -188,7 +178,11 @@ result:terrestrial-planet rdf:type owl:Class ;
[ rdf:type owl:Restriction ;
owl:onProperty result:hasFeature ;
owl:hasValue result:terrestrial
- ] ;
+ ] ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:more-small
+ ] ;
base:fromStructure "SolarSystem-06" .
@@ -200,7 +194,6 @@ result:terrestrial-planet rdf:type owl:Class ;
result:Earth rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
- result:more-small-planet ,
result:planet ,
result:planet-primary-compose-of-metal ,
result:planet-primary-compose-of-rock ,
@@ -217,7 +210,6 @@ result:Earth rdf:type owl:NamedIndividual ,
result:Mars rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
- result:more-small-planet ,
result:planet ,
result:planet-primary-compose-of-metal ,
result:planet-primary-compose-of-rock ,
@@ -234,7 +226,6 @@ result:Mars rdf:type owl:NamedIndividual ,
result:Mercury rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
- result:more-small-planet ,
result:planet ,
result:planet-primary-compose-of-metal ,
result:planet-primary-compose-of-rock ,
@@ -251,7 +242,6 @@ result:Mercury rdf:type owl:NamedIndividual ,
result:Venus rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
- result:more-small-planet ,
result:planet ,
result:planet-primary-compose-of-metal ,
result:planet-primary-compose-of-rock ,
diff --git a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_9.ttl b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_9.ttl
index 8c70c23ada59f1b6858acecb815730c72b847ed7..58f51196b42ebdf82e5fba413fc3d19ec46744b0 100644
--- a/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_9.ttl
+++ b/SolarSystem-20231005/reference-ontology-definitions/SolarSystemProd_factoid_9.ttl
@@ -1,115 +1,246 @@
-@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#compose-of
+result:compose-of rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf base:Out_ObjectProperty ;
+ rdfs:label "compose-of" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### 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#main-compose-of
+result:main-compose-of rdf:type owl:ObjectProperty ;
+ rdfs:subPropertyOf result:compose-of ;
+ rdfs:label "primary-compose-of" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+#################################################################
+# Classes
+#################################################################
+
+### http://www.w3.org/2002/07/owl#Individual
+owl:Individual rdf:type owl:Class .
+
+
+### https://reference.tetras-libre.fr/base-ontology#Degree
+base:Degree 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/expected-result#gas-giant-planet
+result:gas-giant-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:giant-planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:gas
+ ] ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:most-large
+ ] ;
+ base:fromStructure "SolarSystem-09" ;
+ base:hasQuantity 2 .
+
+
+### https://reference.tetras-libre.fr/expected-result#giant-planet
+result:giant-planet rdf:type owl:Class ;
+ rdfs:subClassOf result:planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:hasFeature ;
+ owl:hasValue result:giant
+ ] ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#helium
+result:helium rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "helium" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#hydrogen
+result:hydrogen rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "hydrogen" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet
+result:planet rdf:type owl:Class ;
+ rdfs:subClassOf base:Entity ;
+ rdfs:label "planet" ;
+ base:fromStructure "SolarSystem-09" .
-result:Jupiter a owl:Individual,
- base:Entity,
- result:planet,
- result:planet-compose-helium,
- result:planet-compose-hydrogen ;
- rdfs:label "Jupiter" ;
- base:fromStructure "SolarSystem-09" ;
- result:compose result:helium-SolarSystem-09,
- result:hydrogen-SolarSystem-09 .
-
-result:Saturn a owl:Individual,
- base:Entity,
- result:planet,
- result:planet-compose-helium,
- result:planet-compose-hydrogen ;
- rdfs:label "Saturn" ;
- base:fromStructure "SolarSystem-09" ;
- result:compose result:helium-SolarSystem-09,
- result:hydrogen-SolarSystem-09 .
-
-result:gas-giant a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue result:gas ;
- owl:onProperty result:hasFeature ],
- result:giant ;
- base:fromStructure "SolarSystem-09" .
-
-result:large a owl:Class ;
- rdfs:label "large" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-09" .
-
-result:main a owl:Class ;
- rdfs:label "main" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "SolarSystem-09" .
-
-result:most a owl:ObjectProperty ;
- rdfs:label "most" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "SolarSystem-09" .
-
-result:giant a owl:Class ;
- rdfs:label "giant" ;
- rdfs:subClassOf base:Undetermined_Thing ;
- base:fromStructure "SolarSystem-09" .
-
-result:gas a owl:Individual,
- base:Feature ;
- rdfs:label "gas" ;
- base:fromStructure "SolarSystem-09" .
-
-result:hasFeature a owl:ObjectProperty ;
- rdfs:label "hasFeature" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "predefinedProperty" .
-
-result:helium-SolarSystem-09 a owl:Individual,
- base:Entity,
- result:helium ;
- rdfs:label "helium (SolarSystem-09)" ;
- base:fromStructure "SolarSystem-09" .
-
-result:hydrogen-SolarSystem-09 a owl:Individual,
- base:Entity,
- result:hydrogen ;
- rdfs:label "hydrogen (SolarSystem-09)" ;
- base:fromStructure "SolarSystem-09" .
-
-result:planet-compose-helium a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:helium ],
- [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:helium ],
- result:planet ;
- base:fromStructure "SolarSystem-09" .
-
-result:planet-compose-hydrogen a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:hydrogen ],
- [ a owl:Restriction ;
- owl:onProperty result:compose ;
- owl:someValuesFrom result:hydrogen ],
- result:planet ;
- base:fromStructure "SolarSystem-09" .
-
-result:planet a owl:Class ;
- rdfs:label "planet" ;
- rdfs:subClassOf base:Entity,
- base:Undetermined_Thing ;
- base:fromStructure "SolarSystem-09" .
-
-result:helium a owl:Class ;
- rdfs:label "helium" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-09" .
-
-result:hydrogen a owl:Class ;
- rdfs:label "hydrogen" ;
- rdfs:subClassOf base:Entity ;
- base:fromStructure "SolarSystem-09" .
-
-result:compose a owl:ObjectProperty ;
- rdfs:label "compose" ;
- rdfs:subPropertyOf base:Out_ObjectProperty ;
- base:fromStructure "SolarSystem-09" .
+### https://reference.tetras-libre.fr/expected-result#planet-compose-of-helium
+result:planet-compose-of-helium rdf:type owl:Class ;
+ rdfs:subClassOf result:gas-giant-planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:compose-of ;
+ owl:someValuesFrom result:helium
+ ] ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-compose-of-hydrogen
+result:planet-compose-of-hydrogen rdf:type owl:Class ;
+ rdfs:subClassOf result:gas-giant-planet ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:compose-of ;
+ owl:someValuesFrom result:hydrogen
+ ] ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-main-compose-of-helium
+result:planet-main-compose-of-helium rdf:type owl:Class ;
+ rdfs:subClassOf result:planet-compose-of-helium ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:main-compose-of ;
+ owl:someValuesFrom result:helium
+ ] ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#planet-main-compose-of-hydrogen
+result:planet-main-compose-of-hydrogen rdf:type owl:Class ;
+ rdfs:subClassOf result:planet-compose-of-hydrogen ,
+ [ rdf:type owl:Restriction ;
+ owl:onProperty result:main-compose-of ;
+ owl:someValuesFrom result:hydrogen
+ ] ;
+ base:fromStructure "SolarSystem-09" .
+
+
+#################################################################
+# Individuals
+#################################################################
+
+### https://reference.tetras-libre.fr/expected-result#Jupiter
+result:Jupiter rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:gas-giant-planet ,
+ result:planet ,
+ result:planet-main-compose-of-helium ,
+ result:planet-main-compose-of-hydrogen ;
+ rdfs:label "Jupiter" ;
+ base:fromStructure "SolarSystem-09" ;
+ result:hasFeature result:giant ;
+ result:hasFeature result:gas ;
+ result:compose-of result:helium-SolarSystem-09 ,
+ result:hydrogen-SolarSystem-09 .
+
+
+### https://reference.tetras-libre.fr/expected-result#Saturn
+result:Saturn rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:gas-giant-planet ,
+ result:planet ,
+ result:planet-main-compose-of-helium ,
+ result:planet-main-compose-of-hydrogen ;
+ rdfs:label "Saturn" ;
+ base:fromStructure "SolarSystem-09" ;
+ result:hasFeature result:giant ;
+ result:hasFeature result:gas ;
+ result:compose-of result:helium-SolarSystem-09 ,
+ result:hydrogen-SolarSystem-09 .
+
+
+### https://reference.tetras-libre.fr/expected-result#gas
+result:gas rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "gas" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#giant
+result:giant rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "giant" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#helium-SolarSystem-09
+result:helium-SolarSystem-09 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:helium ;
+ rdfs:label "helium (SolarSystem-09)" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#hydrogen-SolarSystem-09
+result:hydrogen-SolarSystem-09 rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Entity ,
+ result:hydrogen ;
+ rdfs:label "hydrogen (SolarSystem-09)" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most
+result:most rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Degree ;
+ rdfs:label "most" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### https://reference.tetras-libre.fr/expected-result#most-large
+result:most-large rdf:type owl:NamedIndividual ,
+ owl:Individual ,
+ base:Feature ;
+ rdfs:label "most-large" ;
+ base:fromStructure "SolarSystem-09" .
+
+
+### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid.ttl
index 8228fbf76b0e00c328aa9b7ffb62bdc24567e49e..edcb2d3cbdc5671ed34a5a1bed094d93f6020ebe 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid.ttl
@@ -19,11 +19,13 @@ ns2:Jupiter a owl:Individual,
ns2:Neptune a owl:Individual,
ns1:Entity,
- ns2:planet ;
+ ns2:planet,
+ ns2:planet-compose-volatile ;
rdfs:label "Neptune" ;
ns1:fromStructure "SolarSystem-10",
"SolarSystem-16",
- "SolarSystem-18" .
+ "SolarSystem-18" ;
+ ns2:compose ns2:volatile-SolarSystem-10 .
ns2:Saturn a owl:Individual,
ns1:Entity,
@@ -37,9 +39,11 @@ ns2:Saturn a owl:Individual,
ns2:Uranus a owl:Individual,
ns1:Entity,
- ns2:planet ;
+ ns2:planet,
+ ns2:planet-compose-volatile ;
rdfs:label "Uranus" ;
- ns1:fromStructure "SolarSystem-10" .
+ ns1:fromStructure "SolarSystem-10" ;
+ ns2:compose ns2:volatile-SolarSystem-10 .
ns2:all a owl:ObjectProperty ;
rdfs:label "all" ;
@@ -147,20 +151,15 @@ ns2:dust a owl:Class ;
ns2:dwarf-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:dwarf ;
+ owl:hasValue ns2:not-most-large ;
owl:onProperty ns2:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue ns2:not-most-large ;
+ owl:hasValue ns2:dwarf ;
owl:onProperty ns2:hasFeature ],
ns2:object-direct-orbit-sun,
ns2:planet ;
ns1:fromStructure "SolarSystem-02" .
-ns2:far a owl:Class ;
- rdfs:label "far" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-10" .
-
ns2:flat a owl:ObjectProperty ;
rdfs:label "flat" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
@@ -171,13 +170,6 @@ ns2:form a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SolarSystem-04" .
-ns2:gas-giant a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:gas ;
- owl:onProperty ns2:hasFeature ],
- ns2:giant ;
- ns1:fromStructure "SolarSystem-09" .
-
ns2:gravitation-SolarSystem-01 a owl:Individual,
ns1:Entity,
ns2:gravitation-bind-system,
@@ -202,18 +194,6 @@ ns2:high a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SolarSystem-11" .
-ns2:ice-giant-compose-volatile a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns2:compose ;
- owl:someValuesFrom ns2:volatile ],
- ns2:ice-giant ;
- ns1:fromStructure "SolarSystem-10" .
-
-ns2:large a owl:Class ;
- rdfs:label "large" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-09" .
-
ns2:lie a owl:ObjectProperty ;
rdfs:label "lie" ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
@@ -243,14 +223,14 @@ ns2:methane a owl:Class ;
ns2:molecular-interstellar-giant-cloud a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:giant ;
- owl:onProperty ns2:hasFeature ],
- [ a owl:Restriction ;
owl:hasValue ns2:interstellar ;
owl:onProperty ns2:hasFeature ],
[ a owl:Restriction ;
owl:hasValue ns2:molecular ;
owl:onProperty ns2:hasFeature ],
+ [ a owl:Restriction ;
+ owl:hasValue ns2:giant ;
+ owl:onProperty ns2:hasFeature ],
ns2:cloud ;
ns1:fromStructure "SolarSystem-04" .
@@ -282,6 +262,22 @@ ns2:most a owl:Individual,
"SolarSystem-10",
"SolarSystem-15" .
+ns2:most-far-giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue ns2:most-far ;
+ owl:onProperty ns2:hasFeature ],
+ ns2:giant-planet,
+ ns2:planet ;
+ ns1:fromStructure "SolarSystem-10" .
+
+ns2:most-large-giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue ns2:most-large ;
+ owl:onProperty ns2:hasFeature ],
+ ns2:giant-planet,
+ ns2:planet ;
+ ns1:fromStructure "SolarSystem-09" .
+
ns2:most-large-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue ns2:most-large ;
@@ -640,9 +636,11 @@ ns2:ecliptic a owl:Individual,
rdfs:label "ecliptic" ;
ns1:fromStructure "SolarSystem-13" .
-ns2:gas a owl:Individual,
- ns1:Feature ;
- rdfs:label "gas" ;
+ns2:gas-giant a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue ns2:gas ;
+ owl:onProperty ns2:hasFeature ],
+ ns2:giant ;
ns1:fromStructure "SolarSystem-09" .
ns2:gravitation a owl:Class ;
@@ -748,19 +746,19 @@ ns2:more-massive a owl:Individual,
ns2:more-massive-giant-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns2:isMoreMassiveThan ;
- owl:someValuesFrom ns2:terrestrial-planet ],
- [ a owl:Restriction ;
owl:hasValue ns2:more-massive ;
owl:onProperty ns2:hasFeature ],
+ [ a owl:Restriction ;
+ owl:onProperty ns2:isMoreMassiveThan ;
+ owl:someValuesFrom ns2:terrestrial-planet ],
ns2:giant-planet,
ns2:planet ;
ns1:fromStructure "SolarSystem-08" .
-ns2:most-large a owl:Individual,
+ns2:most-far a owl:Individual,
ns1:Feature ;
- rdfs:label "most-large" ;
- ns1:fromStructure "SolarSystem-02" .
+ rdfs:label "most-far" ;
+ ns1:fromStructure "SolarSystem-10" .
ns2:not-direct-orbit rdfs:subPropertyOf ns2:orbit ;
ns1:fromStructure "SolarSystem-03" .
@@ -1004,12 +1002,10 @@ ns2:encircle a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SolarSystem-20" .
-ns2:giant-planet a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:giant ;
- owl:onProperty ns2:hasFeature ],
- ns2:planet ;
- ns1:fromStructure "SolarSystem-08" .
+ns2:gas a owl:Individual,
+ ns1:Feature ;
+ rdfs:label "gas" ;
+ ns1:fromStructure "SolarSystem-09" .
ns2:helium-SolarSystem-09 a owl:Individual,
ns1:Entity,
@@ -1036,9 +1032,6 @@ ns2:know a owl:ObjectProperty ;
ns2:more-large-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:more-large ;
- owl:onProperty ns2:hasFeature ],
- [ a owl:Restriction ;
owl:onProperty ns2:isMoreLargeThan ;
owl:someValuesFrom ns2:planet ],
[ a owl:Restriction ;
@@ -1047,19 +1040,22 @@ ns2:more-large-object a owl:Class ;
[ a owl:Restriction ;
owl:onProperty ns2:isMoreLargeThan ;
owl:someValuesFrom ns2:planet ],
+ [ a owl:Restriction ;
+ owl:hasValue ns2:more-large ;
+ owl:onProperty ns2:hasFeature ],
ns2:object ;
ns1:fromStructure "SolarSystem-03" .
ns2:more-small-body a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns2:isMoreSmallThan ;
- owl:someValuesFrom ns2:planet ],
- [ a owl:Restriction ;
owl:hasValue ns2:more-small ;
owl:onProperty ns2:hasFeature ],
[ a owl:Restriction ;
owl:onProperty ns2:isMoreSmallThan ;
owl:someValuesFrom ns2:planet ],
+ [ a owl:Restriction ;
+ owl:onProperty ns2:isMoreSmallThan ;
+ owl:someValuesFrom ns2:planet ],
[ a owl:Restriction ;
owl:hasValue ns2:more-small ;
owl:onProperty ns2:hasFeature ],
@@ -1071,16 +1067,22 @@ ns2:more-small-object a owl:Class ;
owl:hasValue ns2:more-small ;
owl:onProperty ns2:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue ns2:not-most-large ;
+ owl:hasValue ns2:more-small ;
owl:onProperty ns2:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue ns2:more-small ;
+ owl:hasValue ns2:not-most-large ;
owl:onProperty ns2:hasFeature ],
ns2:object,
ns2:object-direct-orbit-sun ;
ns1:fromStructure "SolarSystem-02",
"SolarSystem-14" .
+ns2:most-large a owl:Individual,
+ ns1:Feature ;
+ rdfs:label "most-large" ;
+ ns1:fromStructure "SolarSystem-02",
+ "SolarSystem-09" .
+
ns2:most-small a owl:Individual,
ns1:Feature ;
rdfs:label "most-small" ;
@@ -1148,6 +1150,16 @@ ns2:planet-compose-hydrogen a owl:Class ;
ns2:planet ;
ns1:fromStructure "SolarSystem-09" .
+ns2:planet-compose-volatile a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:volatile ],
+ [ a owl:Restriction ;
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:volatile ],
+ ns2:planet ;
+ ns1:fromStructure "SolarSystem-10" .
+
ns2:planet-include-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:include ;
@@ -1168,10 +1180,10 @@ ns2:satellite a owl:Class ;
ns2:small-body a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:small ;
+ owl:hasValue ns2:not-most-large ;
owl:onProperty ns2:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue ns2:not-most-large ;
+ owl:hasValue ns2:small ;
owl:onProperty ns2:hasFeature ],
ns2:body,
ns2:object-direct-orbit-sun ;
@@ -1184,11 +1196,11 @@ ns2:system-hasPart-sun a owl:Class ;
ns2:system ;
ns1:fromStructure "SolarSystem-01" .
-ns2:volatile a owl:Class ;
- rdfs:label "volatile" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-10",
- "SolarSystem-11" .
+ns2:volatile-SolarSystem-10 a owl:Individual,
+ ns1:Entity,
+ ns2:volatile ;
+ rdfs:label "volatile (SolarSystem-10)" ;
+ ns1:fromStructure "SolarSystem-10" .
ns2:world-region a owl:Class ;
rdfs:label "world-region" ;
@@ -1227,14 +1239,6 @@ ns2:hydrogen a owl:Class ;
ns1:fromStructure "SolarSystem-09",
"SolarSystem-11" .
-ns2:ice a owl:Class,
- owl:Individual,
- ns1:Feature ;
- rdfs:label "ice" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-10",
- "SolarSystem-17" .
-
ns2:inner-system-hasPart-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty ns2:hasPart ;
@@ -1301,17 +1305,29 @@ ns2:bind a owl:ObjectProperty ;
rdfs:subPropertyOf ns1:Out_ObjectProperty ;
ns1:fromStructure "SolarSystem-01" .
-ns2:giant a owl:Class,
- owl:Individual,
- ns1:Feature ;
- rdfs:label "giant" ;
- rdfs:subClassOf ns1:Entity,
- ns1:Undetermined_Thing ;
- ns1:fromStructure "SolarSystem-04",
- "SolarSystem-08",
+ns2:giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue ns2:giant ;
+ owl:onProperty ns2:hasFeature ],
+ [ a owl:Restriction ;
+ owl:hasValue ns2:giant ;
+ owl:onProperty ns2:hasFeature ],
+ [ a owl:Restriction ;
+ owl:hasValue ns2:giant ;
+ owl:onProperty ns2:hasFeature ],
+ ns2:planet ;
+ ns1:fromStructure "SolarSystem-08",
"SolarSystem-09",
"SolarSystem-10" .
+ns2:ice a owl:Class,
+ owl:Individual,
+ ns1:Feature ;
+ rdfs:label "ice" ;
+ rdfs:subClassOf ns1:Entity ;
+ ns1:fromStructure "SolarSystem-10",
+ "SolarSystem-17" .
+
ns2:metal-SolarSystem-07 a owl:Individual,
ns1:Entity,
ns2:metal ;
@@ -1355,6 +1371,12 @@ ns2:thing a owl:Class ;
ns1:fromStructure "SolarSystem-13",
"SolarSystem-16" .
+ns2:volatile a owl:Class ;
+ rdfs:label "volatile" ;
+ rdfs:subClassOf ns1:Entity ;
+ ns1:fromStructure "SolarSystem-10",
+ "SolarSystem-11" .
+
ns2:body a owl:Class ;
rdfs:label "body" ;
rdfs:subClassOf ns1:Entity ;
@@ -1406,6 +1428,20 @@ ns2:planet-compose-rock a owl:Class ;
ns2:planet ;
ns1:fromStructure "SolarSystem-07" .
+ns2:giant a owl:Class,
+ owl:Individual,
+ ns1:Feature,
+ ns2:gas-giant,
+ ns2:ice-giant ;
+ rdfs:label "giant" ;
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SolarSystem-04",
+ "SolarSystem-08",
+ "SolarSystem-09",
+ "SolarSystem-10" ;
+ ns2:hasFeature ns2:gas,
+ ns2:ice .
+
ns2:metal a owl:Class ;
rdfs:label "metal" ;
rdfs:subClassOf ns1:Entity ;
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_10.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_10.ttl
index ffe02896d87bcc89365f3777c52eb186a179a1d9..7f7a229522be6b237cb06ff324fd04ed16b35bb8 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_10.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_10.ttl
@@ -1,91 +1,124 @@
-@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
+@prefix ns1: <https://tenet.tetras-libre.fr/extract-result#> .
+@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-<https://tenet.tetras-libre.fr/extract-result#Neptune> a owl:Individual,
- ns1:Entity,
- <https://tenet.tetras-libre.fr/extract-result#planet> ;
+ns1:Neptune a owl:Individual,
+ ns2:Entity,
+ ns1:planet,
+ ns1:planet-compose-volatile ;
rdfs:label "Neptune" ;
- ns1:fromStructure "SolarSystem-10" .
+ ns2:fromStructure "SolarSystem-10" ;
+ ns1:compose ns1:volatile-SolarSystem-10 .
-<https://tenet.tetras-libre.fr/extract-result#Uranus> a owl:Individual,
- ns1:Entity,
- <https://tenet.tetras-libre.fr/extract-result#planet> ;
+ns1:Uranus a owl:Individual,
+ ns2:Entity,
+ ns1:planet,
+ ns1:planet-compose-volatile ;
rdfs:label "Uranus" ;
- ns1:fromStructure "SolarSystem-10" .
+ ns2:fromStructure "SolarSystem-10" ;
+ ns1:compose ns1:volatile-SolarSystem-10 .
-<https://tenet.tetras-libre.fr/extract-result#ammonia> a owl:Class ;
+ns1:ammonia a owl:Class ;
rdfs:label "ammonia" ;
- rdfs:subClassOf ns1:Undetermined_Thing ;
- ns1:fromStructure "SolarSystem-10" .
+ rdfs:subClassOf ns2:Undetermined_Thing ;
+ ns2:fromStructure "SolarSystem-10" .
-<https://tenet.tetras-libre.fr/extract-result#far> a owl:Class ;
- rdfs:label "far" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-10" .
-
-<https://tenet.tetras-libre.fr/extract-result#ice-giant-compose-volatile> a owl:Class ;
- rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose> ;
- owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#volatile> ],
- <https://tenet.tetras-libre.fr/extract-result#ice-giant> ;
- ns1:fromStructure "SolarSystem-10" .
-
-<https://tenet.tetras-libre.fr/extract-result#main> a owl:Class ;
+ns1:main a owl:Class ;
rdfs:label "main" ;
- rdfs:subClassOf ns1:Undetermined_Thing ;
- ns1:fromStructure "SolarSystem-10" .
+ rdfs:subClassOf ns2:Undetermined_Thing ;
+ ns2:fromStructure "SolarSystem-10" .
-<https://tenet.tetras-libre.fr/extract-result#methane> a owl:Class ;
+ns1:methane a owl:Class ;
rdfs:label "methane" ;
- rdfs:subClassOf ns1:Undetermined_Thing ;
- ns1:fromStructure "SolarSystem-10" .
+ rdfs:subClassOf ns2:Undetermined_Thing ;
+ ns2:fromStructure "SolarSystem-10" .
-<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ;
+ns1:most a owl:Individual,
+ ns2:Degree ;
rdfs:label "most" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "SolarSystem-10" .
+ ns2:fromStructure "SolarSystem-10" .
-<https://tenet.tetras-libre.fr/extract-result#water> a owl:Class ;
+ns1:most-far-giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue ns1:most-far ;
+ owl:onProperty ns1:hasFeature ],
+ ns1:giant-planet,
+ ns1:planet ;
+ ns2:fromStructure "SolarSystem-10" .
+
+ns1:water a owl:Class ;
rdfs:label "water" ;
- rdfs:subClassOf ns1:Undetermined_Thing ;
- ns1:fromStructure "SolarSystem-10" .
+ rdfs:subClassOf ns2:Undetermined_Thing ;
+ ns2:fromStructure "SolarSystem-10" .
+
+ns1:giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue ns1:giant ;
+ owl:onProperty ns1:hasFeature ],
+ ns1:planet ;
+ ns2:fromStructure "SolarSystem-10" .
-<https://tenet.tetras-libre.fr/extract-result#compose> a owl:ObjectProperty ;
+ns1:ice-giant a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue ns1:ice ;
+ owl:onProperty ns1:hasFeature ],
+ ns1:giant ;
+ ns2:fromStructure "SolarSystem-10" .
+
+ns1:most-far a owl:Individual,
+ ns2:Feature ;
+ rdfs:label "most-far" ;
+ ns2:fromStructure "SolarSystem-10" .
+
+ns1:compose a owl:ObjectProperty ;
rdfs:label "compose" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "SolarSystem-10" .
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "SolarSystem-10" .
-<https://tenet.tetras-libre.fr/extract-result#giant> a owl:Class ;
+ns1:giant a owl:Class,
+ owl:Individual,
+ ns2:Feature,
+ ns1:ice-giant ;
rdfs:label "giant" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-10" .
+ rdfs:subClassOf ns2:Undetermined_Thing ;
+ ns2:fromStructure "SolarSystem-10" ;
+ ns1:hasFeature ns1:ice .
-<https://tenet.tetras-libre.fr/extract-result#hasFeature> a owl:ObjectProperty ;
- rdfs:label "hasFeature" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "predefinedProperty" .
-
-<https://tenet.tetras-libre.fr/extract-result#ice> a owl:Individual,
- ns1:Feature ;
+ns1:ice a owl:Individual,
+ ns2:Feature ;
rdfs:label "ice" ;
- ns1:fromStructure "SolarSystem-10" .
+ ns2:fromStructure "SolarSystem-10" .
-<https://tenet.tetras-libre.fr/extract-result#ice-giant> a owl:Class ;
+ns1:planet-compose-volatile a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue <https://tenet.tetras-libre.fr/extract-result#ice> ;
- owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasFeature> ],
- <https://tenet.tetras-libre.fr/extract-result#giant> ;
- ns1:fromStructure "SolarSystem-10" .
+ owl:onProperty ns1:compose ;
+ owl:someValuesFrom ns1:volatile ],
+ [ a owl:Restriction ;
+ owl:onProperty ns1:compose ;
+ owl:someValuesFrom ns1:volatile ],
+ ns1:planet ;
+ ns2:fromStructure "SolarSystem-10" .
+
+ns1:volatile-SolarSystem-10 a owl:Individual,
+ ns2:Entity,
+ ns1:volatile ;
+ rdfs:label "volatile (SolarSystem-10)" ;
+ ns2:fromStructure "SolarSystem-10" .
+
+ns1:hasFeature a owl:ObjectProperty ;
+ rdfs:label "hasFeature" ;
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "predefinedProperty" .
-<https://tenet.tetras-libre.fr/extract-result#volatile> a owl:Class ;
+ns1:volatile a owl:Class ;
rdfs:label "volatile" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-10" .
+ rdfs:subClassOf ns2:Entity ;
+ ns2:fromStructure "SolarSystem-10" .
-<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ;
+ns1:planet a owl:Class ;
rdfs:label "planet" ;
- rdfs:subClassOf ns1:Entity,
- ns1:Undetermined_Thing ;
- ns1:fromStructure "SolarSystem-10" .
+ rdfs:subClassOf ns2:Entity,
+ ns2:Undetermined_Thing ;
+ ns2:fromStructure "SolarSystem-10" .
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_13.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_13.ttl
index d009e261c522ad5c8d8c07718f3f4b0b0ea3c32b..cda7cea5a8f958cb309c7fae7ff584c17faf3076 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_13.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_13.ttl
@@ -1,70 +1,70 @@
-@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
-@prefix ns2: <https://tenet.tetras-libre.fr/extract-result#> .
+@prefix ns1: <https://tenet.tetras-libre.fr/extract-result#> .
+@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-ns2:disc-SolarSystem-13 a owl:Individual,
- ns1:Entity,
- ns2:disc-call-thing ;
+ns1:disc-SolarSystem-13 a owl:Individual,
+ ns2:Entity,
+ ns1:disc-call-thing ;
rdfs:label "disc (SolarSystem-13)" ;
- ns1:fromStructure "SolarSystem-13" ;
- ns2:call ns2:ecliptic .
+ ns2:fromStructure "SolarSystem-13" ;
+ ns1:call ns1:ecliptic .
-ns2:flat a owl:ObjectProperty ;
+ns1:flat a owl:ObjectProperty ;
rdfs:label "flat" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "SolarSystem-13" .
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "SolarSystem-13" .
-ns2:hasFeature a owl:ObjectProperty ;
+ns1:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "predefinedProperty" .
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "predefinedProperty" .
-ns2:lie a owl:ObjectProperty ;
+ns1:lie a owl:ObjectProperty ;
rdfs:label "lie" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "SolarSystem-13" .
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "SolarSystem-13" .
-ns2:near a owl:ObjectProperty ;
+ns1:near a owl:ObjectProperty ;
rdfs:label "near" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "SolarSystem-13" .
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "SolarSystem-13" .
-ns2:orbit a owl:ObjectProperty ;
+ns1:orbit a owl:ObjectProperty ;
rdfs:label "orbit" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "SolarSystem-13" .
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "SolarSystem-13" .
-ns2:this a owl:Class ;
+ns1:this a owl:Class ;
rdfs:label "this" ;
- rdfs:subClassOf ns1:Undetermined_Thing ;
- ns1:fromStructure "SolarSystem-13" .
+ rdfs:subClassOf ns2:Undetermined_Thing ;
+ ns2:fromStructure "SolarSystem-13" .
-ns2:call a owl:ObjectProperty ;
+ns1:call a owl:ObjectProperty ;
rdfs:label "call" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "SolarSystem-13" .
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "SolarSystem-13" .
-ns2:disc a owl:Class ;
+ns1:disc a owl:Class ;
rdfs:label "disc" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-13" .
+ rdfs:subClassOf ns2:Entity ;
+ ns2:fromStructure "SolarSystem-13" .
-ns2:disc-call-thing a owl:Class ;
+ns1:disc-call-thing a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns2:call ;
- owl:someValuesFrom ns2:thing ],
- ns2:disc ;
- ns1:fromStructure "SolarSystem-13" .
+ owl:onProperty ns1:call ;
+ owl:someValuesFrom ns1:thing ],
+ ns1:disc ;
+ ns2:fromStructure "SolarSystem-13" .
-ns2:ecliptic a owl:Individual,
- ns1:Entity,
- ns2:thing ;
+ns1:ecliptic a owl:Individual,
+ ns2:Entity,
+ ns1:thing ;
rdfs:label "ecliptic" ;
- ns1:fromStructure "SolarSystem-13" .
+ ns2:fromStructure "SolarSystem-13" .
-ns2:thing a owl:Class ;
+ns1:thing a owl:Class ;
rdfs:label "thing" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-13" .
+ rdfs:subClassOf ns2:Entity ;
+ ns2:fromStructure "SolarSystem-13" .
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_14.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_14.ttl
index 8d49522bc3f1668c200e511094797e452fb4de50..e1902d2ce76784d8c25b55cf36728c2460c37854 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_14.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_14.ttl
@@ -1,69 +1,69 @@
-@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
-@prefix ns2: <https://tenet.tetras-libre.fr/extract-result#> .
+@prefix ns1: <https://tenet.tetras-libre.fr/extract-result#> .
+@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-ns2:SolarSystem a owl:Individual,
- ns1:Entity,
- ns2:system,
- ns2:system-contain-more-small-object ;
+ns1:SolarSystem a owl:Individual,
+ ns2:Entity,
+ ns1:system,
+ ns1:system-contain-more-small-object ;
rdfs:label "SolarSystem" ;
- ns1:fromStructure "SolarSystem-14" ;
- ns2:contain ns2:object-SolarSystem-14 .
+ ns2:fromStructure "SolarSystem-14" ;
+ ns1:contain ns1:object-SolarSystem-14 .
-ns2:also a owl:Class ;
+ns1:also a owl:Class ;
rdfs:label "also" ;
- rdfs:subClassOf ns1:Undetermined_Thing ;
- ns1:fromStructure "SolarSystem-14" .
+ rdfs:subClassOf ns2:Undetermined_Thing ;
+ ns2:fromStructure "SolarSystem-14" .
-ns2:more a owl:Individual,
- ns1:Degree ;
+ns1:more a owl:Individual,
+ ns2:Degree ;
rdfs:label "more" ;
- ns1:fromStructure "SolarSystem-14" .
+ ns2:fromStructure "SolarSystem-14" .
-ns2:contain a owl:ObjectProperty ;
+ns1:contain a owl:ObjectProperty ;
rdfs:label "contain" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "SolarSystem-14" .
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "SolarSystem-14" .
-ns2:hasFeature a owl:ObjectProperty ;
+ns1:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "predefinedProperty" .
+ rdfs:subPropertyOf ns2:Out_ObjectProperty ;
+ ns2:fromStructure "predefinedProperty" .
-ns2:object a owl:Class ;
+ns1:object a owl:Class ;
rdfs:label "object" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-14" .
+ rdfs:subClassOf ns2:Entity ;
+ ns2:fromStructure "SolarSystem-14" .
-ns2:object-SolarSystem-14 a owl:Individual,
- ns1:Entity,
- ns2:more-small-object ;
+ns1:object-SolarSystem-14 a owl:Individual,
+ ns2:Entity,
+ ns1:more-small-object ;
rdfs:label "object (SolarSystem-14)" ;
- ns1:fromStructure "SolarSystem-14" ;
- ns2:hasFeature ns2:more-small .
+ ns2:fromStructure "SolarSystem-14" ;
+ ns1:hasFeature ns1:more-small .
-ns2:system-contain-more-small-object a owl:Class ;
+ns1:system-contain-more-small-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns2:contain ;
- owl:someValuesFrom ns2:more-small-object ],
- ns2:system ;
- ns1:fromStructure "SolarSystem-14" .
+ owl:onProperty ns1:contain ;
+ owl:someValuesFrom ns1:more-small-object ],
+ ns1:system ;
+ ns2:fromStructure "SolarSystem-14" .
-ns2:more-small a owl:Individual,
- ns1:Feature ;
+ns1:more-small a owl:Individual,
+ ns2:Feature ;
rdfs:label "more-small" ;
- ns1:fromStructure "SolarSystem-14" .
+ ns2:fromStructure "SolarSystem-14" .
-ns2:more-small-object a owl:Class ;
+ns1:more-small-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:more-small ;
- owl:onProperty ns2:hasFeature ],
- ns2:object ;
- ns1:fromStructure "SolarSystem-14" .
+ owl:hasValue ns1:more-small ;
+ owl:onProperty ns1:hasFeature ],
+ ns1:object ;
+ ns2:fromStructure "SolarSystem-14" .
-ns2:system a owl:Class ;
+ns1:system a owl:Class ;
rdfs:label "system" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-14" .
+ rdfs:subClassOf ns2:Entity ;
+ ns2:fromStructure "SolarSystem-14" .
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_19.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_19.ttl
index be9bac6c5424ab1a97e125b0627d8701797e5383..b3b04106bfbf59b846e82f3298fc9bb76e3a3945 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_19.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_19.ttl
@@ -97,14 +97,14 @@
<https://tenet.tetras-libre.fr/extract-result#more-small-body> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty <https://tenet.tetras-libre.fr/extract-result#isMoreSmallThan> ;
- owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
- [ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#more-small> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasFeature> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#isMoreSmallThan> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
+ [ a owl:Restriction ;
+ owl:onProperty <https://tenet.tetras-libre.fr/extract-result#isMoreSmallThan> ;
+ owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#more-small> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasFeature> ],
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_2.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_2.ttl
index 8afc453a92b2d26d5ab59958c3ae9fdc2267cfb4..cfa124b287c556adc3bd809088ee811e619219c7 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_2.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_2.ttl
@@ -18,10 +18,10 @@ ns2:direct a owl:Individual,
ns2:dwarf-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:dwarf ;
+ owl:hasValue ns2:not-most-large ;
owl:onProperty ns2:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue ns2:not-most-large ;
+ owl:hasValue ns2:dwarf ;
owl:onProperty ns2:hasFeature ],
ns2:object-direct-orbit-sun,
ns2:planet ;
@@ -121,10 +121,10 @@ ns2:small a owl:Individual,
ns2:small-body a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:small ;
+ owl:hasValue ns2:not-most-large ;
owl:onProperty ns2:hasFeature ],
[ a owl:Restriction ;
- owl:hasValue ns2:not-most-large ;
+ owl:hasValue ns2:small ;
owl:onProperty ns2:hasFeature ],
ns2:body,
ns2:object-direct-orbit-sun ;
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_3.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_3.ttl
index effc6fcfe5be54d38687dcea961a5f02672aee05..331fe6657085b30d10884b32b89395bf9f1ea43f 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_3.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_3.ttl
@@ -79,9 +79,6 @@ ns2:sun a owl:Class ;
ns2:more-large-object a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns2:more-large ;
- owl:onProperty ns2:hasFeature ],
- [ a owl:Restriction ;
owl:onProperty ns2:isMoreLargeThan ;
owl:someValuesFrom ns2:planet ],
[ a owl:Restriction ;
@@ -90,6 +87,9 @@ ns2:more-large-object a owl:Class ;
[ a owl:Restriction ;
owl:onProperty ns2:isMoreLargeThan ;
owl:someValuesFrom ns2:planet ],
+ [ a owl:Restriction ;
+ owl:hasValue ns2:more-large ;
+ owl:onProperty ns2:hasFeature ],
ns2:object ;
ns1:fromStructure "SolarSystem-03" .
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_4.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_4.ttl
index b4c72546a855685c51c1e506468962cb43185306..553d632be5c771e38932da956eee761cbbd2c932 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_4.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_4.ttl
@@ -35,14 +35,14 @@
<https://tenet.tetras-libre.fr/extract-result#molecular-interstellar-giant-cloud> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue <https://tenet.tetras-libre.fr/extract-result#giant> ;
- owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasFeature> ],
- [ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#interstellar> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasFeature> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#molecular> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasFeature> ],
+ [ a owl:Restriction ;
+ owl:hasValue <https://tenet.tetras-libre.fr/extract-result#giant> ;
+ owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasFeature> ],
<https://tenet.tetras-libre.fr/extract-result#cloud> ;
ns1:fromStructure "SolarSystem-04" .
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_7.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_7.ttl
index 6333a8e033518590b17739c6c2e50ccf4c40b7df..bf549212818c1fcc2833dff14559d5a83b1c5b3f 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_7.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_7.ttl
@@ -1,200 +1,200 @@
-@prefix ns1: <https://tenet.tetras-libre.fr/extract-result#> .
-@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
+@prefix ns1: <https://tenet.tetras-libre.fr/base-ontology#> .
+@prefix ns2: <https://tenet.tetras-libre.fr/extract-result#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-ns1:more a owl:ObjectProperty ;
+ns2:more a owl:ObjectProperty ;
rdfs:label "more" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SolarSystem-07" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:primary a owl:Class ;
+ns2:primary a owl:Class ;
rdfs:label "primary" ;
- rdfs:subClassOf ns2:Undetermined_Thing ;
- ns2:fromStructure "SolarSystem-07" .
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:small a owl:Class ;
+ns2:small a owl:Class ;
rdfs:label "small" ;
- rdfs:subClassOf ns2:Entity ;
- ns2:fromStructure "SolarSystem-07" .
-
-ns1:system-SolarSystem-07 a owl:Individual,
- ns2:Entity,
- ns1:inner-system-hasPart-planet,
- ns1:inner-system-hasPart-planet-compose-metal,
- ns1:inner-system-hasPart-planet-compose-rock ;
+ rdfs:subClassOf ns1:Entity ;
+ ns1:fromStructure "SolarSystem-07" .
+
+ns2:system-SolarSystem-07 a owl:Individual,
+ ns1:Entity,
+ ns2:inner-system-hasPart-planet,
+ ns2:inner-system-hasPart-planet-compose-metal,
+ ns2:inner-system-hasPart-planet-compose-rock ;
rdfs:label "system (SolarSystem-07)" ;
- ns2:fromStructure "SolarSystem-07" ;
- ns1:hasPart ns1:Earth,
- ns1:Mars,
- ns1:Mercury,
- ns1:Venus .
+ ns1:fromStructure "SolarSystem-07" ;
+ ns2:hasPart ns2:Earth,
+ ns2:Mars,
+ ns2:Mercury,
+ ns2:Venus .
-ns1:terrestrial-planet a owl:Class ;
+ns2:terrestrial-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns1:terrestrial ;
- owl:onProperty ns1:hasFeature ],
- ns1:planet ;
- ns2:fromStructure "SolarSystem-07" .
-
-ns1:Earth a owl:Individual,
- ns2:Entity,
- ns1:planet,
- ns1:planet-compose-metal,
- ns1:planet-compose-rock ;
+ owl:hasValue ns2:terrestrial ;
+ owl:onProperty ns2:hasFeature ],
+ ns2:planet ;
+ ns1:fromStructure "SolarSystem-07" .
+
+ns2:Earth a owl:Individual,
+ ns1:Entity,
+ ns2:planet,
+ ns2:planet-compose-metal,
+ ns2:planet-compose-rock ;
rdfs:label "Earth" ;
- ns2:fromStructure "SolarSystem-07" ;
- ns1:compose ns1:metal-SolarSystem-07,
- ns1:rock-SolarSystem-07 .
-
-ns1:Mars a owl:Individual,
- ns2:Entity,
- ns1:planet,
- ns1:planet-compose-metal,
- ns1:planet-compose-rock ;
+ ns1:fromStructure "SolarSystem-07" ;
+ ns2:compose ns2:metal-SolarSystem-07,
+ ns2:rock-SolarSystem-07 .
+
+ns2:Mars a owl:Individual,
+ ns1:Entity,
+ ns2:planet,
+ ns2:planet-compose-metal,
+ ns2:planet-compose-rock ;
rdfs:label "Mars" ;
- ns2:fromStructure "SolarSystem-07" ;
- ns1:compose ns1:metal-SolarSystem-07,
- ns1:rock-SolarSystem-07 .
-
-ns1:Mercury a owl:Individual,
- ns2:Entity,
- ns1:planet,
- ns1:planet-compose-metal,
- ns1:planet-compose-rock ;
+ ns1:fromStructure "SolarSystem-07" ;
+ ns2:compose ns2:metal-SolarSystem-07,
+ ns2:rock-SolarSystem-07 .
+
+ns2:Mercury a owl:Individual,
+ ns1:Entity,
+ ns2:planet,
+ ns2:planet-compose-metal,
+ ns2:planet-compose-rock ;
rdfs:label "Mercury" ;
- ns2:fromStructure "SolarSystem-07" ;
- ns1:compose ns1:metal-SolarSystem-07,
- ns1:rock-SolarSystem-07 .
-
-ns1:Venus a owl:Individual,
- ns2:Entity,
- ns1:planet,
- ns1:planet-compose-metal,
- ns1:planet-compose-rock ;
+ ns1:fromStructure "SolarSystem-07" ;
+ ns2:compose ns2:metal-SolarSystem-07,
+ ns2:rock-SolarSystem-07 .
+
+ns2:Venus a owl:Individual,
+ ns1:Entity,
+ ns2:planet,
+ ns2:planet-compose-metal,
+ ns2:planet-compose-rock ;
rdfs:label "Venus" ;
- ns2:fromStructure "SolarSystem-07" ;
- ns1:compose ns1:metal-SolarSystem-07,
- ns1:rock-SolarSystem-07 .
+ ns1:fromStructure "SolarSystem-07" ;
+ ns2:compose ns2:metal-SolarSystem-07,
+ ns2:rock-SolarSystem-07 .
-ns1:inner a owl:Individual,
- ns2:Feature ;
+ns2:inner a owl:Individual,
+ ns1:Feature ;
rdfs:label "inner" ;
- ns2:fromStructure "SolarSystem-07" .
+ ns1:fromStructure "SolarSystem-07" .
-ns1:inner-system a owl:Class ;
+ns2:inner-system a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:hasValue ns1:inner ;
- owl:onProperty ns1:hasFeature ],
- ns1:system ;
- ns2:fromStructure "SolarSystem-07" .
+ owl:hasValue ns2:inner ;
+ owl:onProperty ns2:hasFeature ],
+ ns2:system ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:inner-system-hasPart-planet-compose-metal a owl:Class ;
+ns2:inner-system-hasPart-planet-compose-metal a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns1:hasPart ;
- owl:someValuesFrom ns1:planet-compose-metal ],
- ns1:inner-system-hasPart-planet ;
- ns2:fromStructure "SolarSystem-07" .
+ owl:onProperty ns2:hasPart ;
+ owl:someValuesFrom ns2:planet-compose-metal ],
+ ns2:inner-system-hasPart-planet ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:inner-system-hasPart-planet-compose-rock a owl:Class ;
+ns2:inner-system-hasPart-planet-compose-rock a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns1:hasPart ;
- owl:someValuesFrom ns1:planet-compose-rock ],
- ns1:inner-system-hasPart-planet ;
- ns2:fromStructure "SolarSystem-07" .
+ owl:onProperty ns2:hasPart ;
+ owl:someValuesFrom ns2:planet-compose-rock ],
+ ns2:inner-system-hasPart-planet ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:system a owl:Class ;
+ns2:system a owl:Class ;
rdfs:label "system" ;
- rdfs:subClassOf ns2:Entity ;
- ns2:fromStructure "SolarSystem-07" .
+ rdfs:subClassOf ns1:Entity ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:terrestrial a owl:Individual,
- ns2:Feature ;
+ns2:terrestrial a owl:Individual,
+ ns1:Feature ;
rdfs:label "terrestrial" ;
- ns2:fromStructure "SolarSystem-07" .
+ ns1:fromStructure "SolarSystem-07" .
-ns1:hasFeature a owl:ObjectProperty ;
+ns2:hasFeature a owl:ObjectProperty ;
rdfs:label "hasFeature" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "predefinedProperty" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "predefinedProperty" .
-ns1:inner-system-hasPart-planet a owl:Class ;
+ns2:inner-system-hasPart-planet a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns1:hasPart ;
- owl:someValuesFrom ns1:planet ],
+ owl:onProperty ns2:hasPart ;
+ owl:someValuesFrom ns2:planet ],
[ a owl:Restriction ;
- owl:onProperty ns1:hasPart ;
- owl:someValuesFrom ns1:planet ],
- ns1:inner-system ;
- ns2:fromStructure "SolarSystem-07" .
+ owl:onProperty ns2:hasPart ;
+ owl:someValuesFrom ns2:planet ],
+ ns2:inner-system ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:hasPart a owl:ObjectProperty ;
+ns2:hasPart a owl:ObjectProperty ;
rdfs:label "hasPart" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SolarSystem-07" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:metal-SolarSystem-07 a owl:Individual,
- ns2:Entity,
- ns1:metal ;
+ns2:metal-SolarSystem-07 a owl:Individual,
+ ns1:Entity,
+ ns2:metal ;
rdfs:label "metal (SolarSystem-07)" ;
- ns2:fromStructure "SolarSystem-07" .
+ ns1:fromStructure "SolarSystem-07" .
-ns1:rock-SolarSystem-07 a owl:Individual,
- ns2:Entity,
- ns1:rock ;
+ns2:rock-SolarSystem-07 a owl:Individual,
+ ns1:Entity,
+ ns2:rock ;
rdfs:label "rock (SolarSystem-07)" ;
- ns2:fromStructure "SolarSystem-07" .
+ ns1:fromStructure "SolarSystem-07" .
-ns1:metal a owl:Class ;
+ns2:metal a owl:Class ;
rdfs:label "metal" ;
- rdfs:subClassOf ns2:Entity ;
- ns2:fromStructure "SolarSystem-07" .
+ rdfs:subClassOf ns1:Entity ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:planet-compose-metal a owl:Class ;
+ns2:planet-compose-metal a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns1:compose ;
- owl:someValuesFrom ns1:metal ],
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:metal ],
[ a owl:Restriction ;
- owl:onProperty ns1:compose ;
- owl:someValuesFrom ns1:metal ],
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:metal ],
[ a owl:Restriction ;
- owl:onProperty ns1:compose ;
- owl:someValuesFrom ns1:metal ],
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:metal ],
[ a owl:Restriction ;
- owl:onProperty ns1:compose ;
- owl:someValuesFrom ns1:metal ],
- ns1:planet ;
- ns2:fromStructure "SolarSystem-07" .
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:metal ],
+ ns2:planet ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:planet-compose-rock a owl:Class ;
+ns2:planet-compose-rock a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty ns1:compose ;
- owl:someValuesFrom ns1:rock ],
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:rock ],
[ a owl:Restriction ;
- owl:onProperty ns1:compose ;
- owl:someValuesFrom ns1:rock ],
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:rock ],
[ a owl:Restriction ;
- owl:onProperty ns1:compose ;
- owl:someValuesFrom ns1:rock ],
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:rock ],
[ a owl:Restriction ;
- owl:onProperty ns1:compose ;
- owl:someValuesFrom ns1:rock ],
- ns1:planet ;
- ns2:fromStructure "SolarSystem-07" .
+ owl:onProperty ns2:compose ;
+ owl:someValuesFrom ns2:rock ],
+ ns2:planet ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:rock a owl:Class ;
+ns2:rock a owl:Class ;
rdfs:label "rock" ;
- rdfs:subClassOf ns2:Entity ;
- ns2:fromStructure "SolarSystem-07" .
+ rdfs:subClassOf ns1:Entity ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:compose a owl:ObjectProperty ;
+ns2:compose a owl:ObjectProperty ;
rdfs:label "compose" ;
- rdfs:subPropertyOf ns2:Out_ObjectProperty ;
- ns2:fromStructure "SolarSystem-07" .
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "SolarSystem-07" .
-ns1:planet a owl:Class ;
+ns2:planet a owl:Class ;
rdfs:label "planet" ;
- rdfs:subClassOf ns2:Entity,
- ns2:Undetermined_Thing ;
- ns2:fromStructure "SolarSystem-07" .
+ rdfs:subClassOf ns1:Entity,
+ ns1:Undetermined_Thing ;
+ ns1:fromStructure "SolarSystem-07" .
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_8.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_8.ttl
index bced536e22fd426e67a2280a70a87995976332a1..aa20abbb7fd54e2def3c7cef51b4fe8a7f00c664 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_8.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_8.ttl
@@ -41,11 +41,11 @@
<https://tenet.tetras-libre.fr/extract-result#more-massive-giant-planet> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
- owl:onProperty <https://tenet.tetras-libre.fr/extract-result#isMoreMassiveThan> ;
- owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> ],
- [ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#more-massive> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasFeature> ],
+ [ a owl:Restriction ;
+ owl:onProperty <https://tenet.tetras-libre.fr/extract-result#isMoreMassiveThan> ;
+ owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> ],
<https://tenet.tetras-libre.fr/extract-result#giant-planet>,
<https://tenet.tetras-libre.fr/extract-result#planet> ;
ns1:fromStructure "SolarSystem-08" .
diff --git a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_9.ttl b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_9.ttl
index c0ecc3d3e551f7b95d2d57c254b4ce5d2dc0a019..9890200c9c1084a4e2f6587249021f784879b541 100644
--- a/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_9.ttl
+++ b/SolarSystem-20231005/tenet-ontology-definitions/SolarSystemProd_factoid_9.ttl
@@ -23,6 +23,24 @@ ns2:Saturn a owl:Individual,
ns2:compose ns2:helium-SolarSystem-09,
ns2:hydrogen-SolarSystem-09 .
+ns2:main a owl:Class ;
+ rdfs:label "main" ;
+ rdfs:subClassOf ns1:Undetermined_Thing ;
+ ns1:fromStructure "SolarSystem-09" .
+
+ns2:most a owl:Individual,
+ ns1:Degree ;
+ rdfs:label "most" ;
+ ns1:fromStructure "SolarSystem-09" .
+
+ns2:most-large-giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue ns2:most-large ;
+ owl:onProperty ns2:hasFeature ],
+ ns2:giant-planet,
+ ns2:planet ;
+ ns1:fromStructure "SolarSystem-09" .
+
ns2:gas-giant a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue ns2:gas ;
@@ -30,19 +48,16 @@ ns2:gas-giant a owl:Class ;
ns2:giant ;
ns1:fromStructure "SolarSystem-09" .
-ns2:large a owl:Class ;
- rdfs:label "large" ;
- rdfs:subClassOf ns1:Entity ;
- ns1:fromStructure "SolarSystem-09" .
-
-ns2:main a owl:Class ;
- rdfs:label "main" ;
- rdfs:subClassOf ns1:Undetermined_Thing ;
+ns2:giant-planet a owl:Class ;
+ rdfs:subClassOf [ a owl:Restriction ;
+ owl:hasValue ns2:giant ;
+ owl:onProperty ns2:hasFeature ],
+ ns2:planet ;
ns1:fromStructure "SolarSystem-09" .
-ns2:most a owl:ObjectProperty ;
- rdfs:label "most" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ns2:most-large a owl:Individual,
+ ns1:Feature ;
+ rdfs:label "most-large" ;
ns1:fromStructure "SolarSystem-09" .
ns2:gas a owl:Individual,
@@ -50,15 +65,14 @@ ns2:gas a owl:Individual,
rdfs:label "gas" ;
ns1:fromStructure "SolarSystem-09" .
-ns2:giant a owl:Class ;
+ns2:giant a owl:Class,
+ owl:Individual,
+ ns1:Feature,
+ ns2:gas-giant ;
rdfs:label "giant" ;
rdfs:subClassOf ns1:Undetermined_Thing ;
- ns1:fromStructure "SolarSystem-09" .
-
-ns2:hasFeature a owl:ObjectProperty ;
- rdfs:label "hasFeature" ;
- rdfs:subPropertyOf ns1:Out_ObjectProperty ;
- ns1:fromStructure "predefinedProperty" .
+ ns1:fromStructure "SolarSystem-09" ;
+ ns2:hasFeature ns2:gas .
ns2:helium-SolarSystem-09 a owl:Individual,
ns1:Entity,
@@ -92,6 +106,11 @@ ns2:planet-compose-hydrogen a owl:Class ;
ns2:planet ;
ns1:fromStructure "SolarSystem-09" .
+ns2:hasFeature a owl:ObjectProperty ;
+ rdfs:label "hasFeature" ;
+ rdfs:subPropertyOf ns1:Out_ObjectProperty ;
+ ns1:fromStructure "predefinedProperty" .
+
ns2:helium a owl:Class ;
rdfs:label "helium" ;
rdfs:subClassOf ns1:Entity ;