Update data: SSC-01 (1)

data/SSC-01/SSC-01-01/SSC-01-01.owl.nt

+solar-system is-a class.
+system is-a class.
+planet-system is-a class.
+sun is-a class.
+object-orbit-sun is-a class.
+object-orbit-sun-direct is-a class.
+object-orbit-sun-no-direct is-a class.
+gravitation is-a class.
+
+bind is-a property.
+orit is-a property.
+
+planet-system subClass-Of system.
+solar-system subClass-Of planet-system.
+solar-system has-part sun.
+solar-system has-part object-orbit-sun.
+solar-system bind gravitation.
+object-orbit-sun-direct subClass-Of object-orbit-sun.
+object-orbit-sun-no-direct subClass-Of object-orbit-sun.

data/SSC-01/SSC-01-01/SSC-01-01.stc.txt

+# -----------------------------------------------------------------------------
+# Schémas de Transduction Compositionnel (STC)
+# -----------------------------------------------------------------------------
+#
+# Pré-traitement = chaque noeud du graphe est associé à un filet de type ATOM
+#
+# TYPE = { ATOM, COMMON-CONCEPT, PREDICATE, MODALITY }
+#
+
+# -----------------------------------
+# Fonctions
+# -----------------------------------
+
+# ::function isCommomConcept
+# isCommonConcept(x) retourne VRAI si x est un concept AMR commun, c'est à
+# dire si x n'est pas un prédicat ou un phénomène linguistique
+# exemple de concepts communs : boy, car, ...
+
+# ::function isPredicate
+# ...
+
+# ::function isPhenomena
+# ...
+
+
+# -----------------------------------
+# STC
+# -----------------------------------
+
+# ::stc STC-01
+[x] type(x, ATOM) & isCommonConcept(x.concept)
+     => { type = COMMON-CONCEPT ; concept = x.concept }
+
+
+# ::stc STC-02
+[x, y] domain(x,y) & type(x, COMMON-CONCEPT) & type(y, COMMON-CONCEPT)
+     => { type = CLASS ;
+          concept = x.concept + "-" + y.concept ;
+          class = defineNewClass(concept)
+          }
+

data/SSC-01/SSC-01-01/SSC-01-01.valid.amr.graph

+# ::id SSC-01-01
+# ::snt The Solar System is the gravitationally bound system of the Sun and the objects that orbit it, either directly or indirectly.
+(p / planet
+      :domain (s / system
+            :name (n / name
+                  :op1 "Solar"
+                  :op2 "System"))
+      :ARG1-of (b / bind-01
+            :ARG0 (g / gravitation))
+      :part (a / and
+            :op1 (s2 / sun)
+            :op2 (o / object
+                  :ARG0-of (o2 / orbit-01
+                        :ARG1 s2
+                        :manner (o3 / or
+                              :op1 (d / direct-02)
+                              :op2 (d2 / direct-02
+                                    :polarity -))))))