supporting EST-schemas for mentioned objects

parent 71865b65
......@@ -57,6 +57,13 @@
:form "from"
:pos :preposition
:sem-function :generalDirectionalDistancing}
{:id (uuid)
:form "with"
:pos :preposition}
{:id (uuid)
:form "lid"
:pos "N"
:numerus "Singular"}
{:id (uuid)
:form "table"
:pos "N"
......@@ -149,7 +156,7 @@
:constraints (constrain-any
(constrain-unique-unit-feature #{:word :pos :isa :numerus
:clause-type :has-number-value
:semantic-category})
:semantic-category :scene-state})
(constrain-unique-feature-value #{:word})
(constrain-no-variable-features))
:cxns
......@@ -241,6 +248,7 @@
}
{:id :root-verb
:match #{[(? :v-intp) :lexicon (? :lex)]}
;TODO retrieve verb-specific schema
:call (filter
(fn [b]
(let [lex (some->>
......@@ -272,7 +280,7 @@
[(? :det-intp) :definiteness (? :def)]
[(? :noun-intp) :referent (? :ref)]
[(? :det-intp) :referent (? :ref)]}
:call (introduce (? :np))
:call (introduce (? :np) (? :est-schema))
:merge #{[(? :np) :isa "NP"]
[(? :np) :referent (? :ref)]
[(? :np) :numerus (? :numerus)]
......@@ -280,6 +288,9 @@
[(? :np) :subunit (? :det-intp)]
[(? :np) :subunit (? :noun-intp)]
[(? :det-intp) :numerus (? :numerus)]
[(? :np) :evokes (? :est-schema)]
[(? :est-schema) :isa "ESTSchemaTheory"]
[(? :est-schema) :existing (? :ref)]
}}
{:id :VP
:match #{[(? :v-intp) :pos "V"]
......@@ -330,12 +341,34 @@
:merge #{[(? :clause) :isa "ImperativeClause"]
[(? :trans) :is-expressed-by (? :clause)]
[(? :trans) :isa "StateTransition"]
;[(? :trans) :satisfies (? :verb-schema)]
[(? :clause) :expresses (? :illoc)]
[(? :illoc) :isa "Command"]
[(? :trans) :has-terminal-state (? :terminal-state)]
[(? :terminal-state) :isa "Scene"]
[(? :terminal-state) :scene-state :terminal]
[(? :trans) :has-initial-state (? :initial-state)]
[(? :initial-state) :isa "Scene"]}}
[(? :initial-state) :isa "Scene"]
[(? :initial-state) :scene-state :initial]
}}
{:id :est-init-terminal
:match #{[(? :ling-ref-expr) :evokes (? :est-schema)]
[(? :est-schema) :isa "ESTSchemaTheory"]
[(? :est-schema) :existing (? :ref)]
[(? :clause) :isa "ImperativeClause"]
[(? :trans) :is-expressed-by (? :clause)]
[(? :trans) :isa "StateTransition"]
[(? :trans) :has-terminal-state (? :terminal-state)]
[(? :terminal-state) :isa "Scene"]
[(? :terminal-state) :scene-state :terminal]
[(? :trans) :has-initial-state (? :init-state)]
[(? :init-state) :isa "Scene"]
[(? :initial-state) :scene-state :initial]
}
:merge #{[(? :init-state) :satisfies (? :est-schema)]
[(? :terminal-state) :satisfies (? :est-schema)]
}
:search-preference :restrict-internal-merge}
{:id :predicate-focus
:match #{[(? :vp) :isa "VP"]
[(? :vp) :head (? :v)]
......@@ -422,7 +455,7 @@
[(? :tl-schema) :landmark (? :goal)]
;[(? :generalized-location) :has-spatial-modality (? :to-be-determined)]
}}
{:id :locative-off-PP
{:id :locative-off-PP-process
:match #{[(? :clause) :subunit (? :vp)]
[(? :vp) :isa "VP"]
[(? :vp) :sem-valence (? :sem-val)]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment