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)
          }