initial scenes satisfy schemas evoked by clauses' NPs

parent 8fe884df
......@@ -334,7 +334,7 @@
;[(? :sem-val) :tag :syntax]
;[(? :sem-val) :tag :semantics]
}}
{:id :imperative
{:id :imperative ; Clauses with unexpressed subjects are directly interpreted as imperatives.
:match #{[(? :subj) :form :null]
[(? :vp) :isa "VP"]
[(? :vp) :subunit (? :v)]
......@@ -359,7 +359,23 @@
;[(? :initial-state) :tag :semantics]
[(? :initial-state) :scene-state :initial]
}}
{:id :est-init-terminal
{:id :initial-schema-into-transition-state
:match #{;[(? :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 (? :initial-state)]
[(? :initial-state) :isa "Scene"]
[(? :initial-state) :scene-state :initial]
[(? :clause) :subunit (? :np)]
[(? :np) :isa "NP"]
[(? :np) :evokes (? :some-schema)]
}
:merge #{[(? :initial-state) :satisfies (? :some-schema)]
}}
{:id :estschema-terminal-scene
:match #{[(? :ling-ref-expr) :evokes (? :est-schema)]
[(? :est-schema) :isa "ESTSchema"]
[(? :est-schema) :existing (? :ref)]
......@@ -373,8 +389,7 @@
[(? :init-state) :isa "Scene"]
[(? :initial-state) :scene-state :initial]
}
:merge #{[(? :init-state) :satisfies (? :est-schema)]
[(? :terminal-state) :satisfies (? :est-schema)]
:merge #{[(? :terminal-state) :satisfies (? :est-schema)]
}
:search-preference :max-bindings}
{:id :transitive ; Bind an expressed object to existing clause.
......
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