GTFL Application Example II

This page will look very ugly unless you use a recent version of Safari, Firefox or Chrome.

This debug trace was generated by the Fluid Construction Grammar framework as a side effect of constructing the utterance "have drunk" from a given meaning.

It shows how the search tree for finding out which rules to apply in which order is gradually built up.

Clicking on almost any non-black element will reveal a detailed version of it and clicking it twice either expands an even more detailed representation or collapses it again. Clicking on symbols in s-expressions highlights all other symbols with the same name.


Producing 

((drink x a p) (warp x present finished point))

Started new search

initial queue:
status: initial
meaning  
((drink x a p) (warp x present finished point))
status: initial
rule application result
statusinitial
resulting structure
meaning  
((drink x a p) (warp x present finished point))

expansion:
status: rule-matched
status: rule-matched
rule application result
statusrule-matched
source cfs
meaning  
((drink x a p) (warp x present finished point))
applied rule
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
((production-rank . 0) (parsing-rank . 0))
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))

new tree:
status: initial
meaning  
((drink x a p) (warp x present finished point))
status: initial
rule application result
statusinitial
resulting structure
meaning  
((drink x a p) (warp x present finished point))
status: rule-matched
status: rule-matched
rule application result
statusrule-matched
source cfs
meaning  
((drink x a p) (warp x present finished point))
applied rule
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
((production-rank . 0) (parsing-rank . 0))
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))

new queue:
status: rule-matched
status: rule-matched
rule application result
statusrule-matched
source cfs
meaning  
((drink x a p) (warp x present finished point))
applied rule
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
((production-rank . 0) (parsing-rank . 0))
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))

expansion:
status: rule-applied
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
status: rule-applied
rule application result
statusrule-applied
source cfs
meaning  
((drink x a p) (warp x present finished point))
applied rule
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
((production-rank . 0) (parsing-rank . 0))
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting structure
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting bindings
((?form-21478 form nil) (?drink-527 . drink-12) (?meaning-21338 meaning nil) (?patient-163 . p) (?agent-2477 . a) (?s-21 . x) (?top-152425 . top))

new tree:
status: initial
meaning  
((drink x a p) (warp x present finished point))
status: initial
rule application result
statusinitial
resulting structure
meaning  
((drink x a p) (warp x present finished point))
status: rule-applied
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
status: rule-applied
rule application result
statusrule-applied
source cfs
meaning  
((drink x a p) (warp x present finished point))
applied rule
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
((production-rank . 0) (parsing-rank . 0))
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting structure
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting bindings
((?form-21478 form nil) (?drink-527 . drink-12) (?meaning-21338 meaning nil) (?patient-163 . p) (?agent-2477 . a) (?s-21 . x) (?top-152425 . top))

new queue:
status: rule-applied
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
status: rule-applied
rule application result
statusrule-applied
source cfs
meaning  
((drink x a p) (warp x present finished point))
applied rule
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
((production-rank . 0) (parsing-rank . 0))
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting structure
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting bindings
((?form-21478 form nil) (?drink-527 . drink-12) (?meaning-21338 meaning nil) (?patient-163 . p) (?agent-2477 . a) (?s-21 . x) (?top-152425 . top))

expansion:
status: rule-matched
status: rule-matched
rule application result
statusrule-matched
source cfs
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
applied rule
tag-only ?meaning-21346 
(meaning (== (warp ?e-71 ?time-28 finished ?duration-9)))
sem-cat  
(==0 (frames (== event)))
referent  
?e-71
tag-parts ?remaining-10 
(sem-cat (==1 (frames (== state-of-affairs))))
?moving-2 
(sem-cat (==1 (time-frame ?e-71 ?etime-7 ?estate-15 ?eduration-7)))
tag-parts ?meets-54 
(form (== (meets ?aux-unit-4 ?verb-unit-16)))
syn-cat  
(== auxiliary (temporality ?time-28 ongoing interval))
tag-only ?syn-cat-23 
(syn-cat (== (temporality ?etime-7 ?estate-15 ?eduration-7)))
meaning  
(== (time-frame ?s-36 ?time-28 ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 ?e-71) (type possession) (value ?s-36 ?value-38))
→ ?moving-2
?verb-unit-16
→ ?meaning-21346
?auxiliary-6
sem-cat  
(==1 (time-frame ?e-71 ?time-28 finished ?duration-9))
meaning  
(== (warp ?e-71 past nil interval))
?verb-unit-16
?aux-unit-4
→ ?meets-54
syn-cat  
(==1 participle (pof (== verb)) (temporality ?time-28 finished ?duration-9))
((production-rank . 0) (parsing-rank . 3))
tag-only ?meaning-21346 
(meaning (== (warp ?e-71 ?time-28 finished ?duration-9)))
sem-cat  
(==0 (frames (== event)))
referent  
?e-71
tag-parts ?remaining-10 
(sem-cat (==1 (frames (== state-of-affairs))))
?moving-2 
(sem-cat (==1 (time-frame ?e-71 ?etime-7 ?estate-15 ?eduration-7)))
tag-parts ?meets-54 
(form (== (meets ?aux-unit-4 ?verb-unit-16)))
syn-cat  
(== auxiliary (temporality ?time-28 ongoing interval))
tag-only ?syn-cat-23 
(syn-cat (== (temporality ?etime-7 ?estate-15 ?eduration-7)))
meaning  
(== (time-frame ?s-36 ?time-28 ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 ?e-71) (type possession) (value ?s-36 ?value-38))
→ ?moving-2
?verb-unit-16
→ ?meaning-21346
?auxiliary-6
sem-cat  
(==1 (time-frame ?e-71 ?time-28 finished ?duration-9))
meaning  
(== (warp ?e-71 past nil interval))
?verb-unit-16
?aux-unit-4
→ ?meets-54
syn-cat  
(==1 participle (pof (== verb)) (temporality ?time-28 finished ?duration-9))

new tree:
status: initial
meaning  
((drink x a p) (warp x present finished point))
status: initial
rule application result
statusinitial
resulting structure
meaning  
((drink x a p) (warp x present finished point))
status: rule-applied
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
status: rule-applied
rule application result
statusrule-applied
source cfs
meaning  
((drink x a p) (warp x present finished point))
applied rule
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
((production-rank . 0) (parsing-rank . 0))
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting structure
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting bindings
((?form-21478 form nil) (?drink-527 . drink-12) (?meaning-21338 meaning nil) (?patient-163 . p) (?agent-2477 . a) (?s-21 . x) (?top-152425 . top))
status: rule-matched
status: rule-matched
rule application result
statusrule-matched
source cfs
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
applied rule
tag-only ?meaning-21346 
(meaning (== (warp ?e-71 ?time-28 finished ?duration-9)))
sem-cat  
(==0 (frames (== event)))
referent  
?e-71
tag-parts ?remaining-10 
(sem-cat (==1 (frames (== state-of-affairs))))
?moving-2 
(sem-cat (==1 (time-frame ?e-71 ?etime-7 ?estate-15 ?eduration-7)))
tag-parts ?meets-54 
(form (== (meets ?aux-unit-4 ?verb-unit-16)))
syn-cat  
(== auxiliary (temporality ?time-28 ongoing interval))
tag-only ?syn-cat-23 
(syn-cat (== (temporality ?etime-7 ?estate-15 ?eduration-7)))
meaning  
(== (time-frame ?s-36 ?time-28 ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 ?e-71) (type possession) (value ?s-36 ?value-38))
→ ?moving-2
?verb-unit-16
→ ?meaning-21346
?auxiliary-6
sem-cat  
(==1 (time-frame ?e-71 ?time-28 finished ?duration-9))
meaning  
(== (warp ?e-71 past nil interval))
?verb-unit-16
?aux-unit-4
→ ?meets-54
syn-cat  
(==1 participle (pof (== verb)) (temporality ?time-28 finished ?duration-9))
((production-rank . 0) (parsing-rank . 3))
tag-only ?meaning-21346 
(meaning (== (warp ?e-71 ?time-28 finished ?duration-9)))
sem-cat  
(==0 (frames (== event)))
referent  
?e-71
tag-parts ?remaining-10 
(sem-cat (==1 (frames (== state-of-affairs))))
?moving-2 
(sem-cat (==1 (time-frame ?e-71 ?etime-7 ?estate-15 ?eduration-7)))
tag-parts ?meets-54 
(form (== (meets ?aux-unit-4 ?verb-unit-16)))
syn-cat  
(== auxiliary (temporality ?time-28 ongoing interval))
tag-only ?syn-cat-23 
(syn-cat (== (temporality ?etime-7 ?estate-15 ?eduration-7)))
meaning  
(== (time-frame ?s-36 ?time-28 ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 ?e-71) (type possession) (value ?s-36 ?value-38))
→ ?moving-2
?verb-unit-16
→ ?meaning-21346
?auxiliary-6
sem-cat  
(==1 (time-frame ?e-71 ?time-28 finished ?duration-9))
meaning  
(== (warp ?e-71 past nil interval))
?verb-unit-16
?aux-unit-4
→ ?meets-54
syn-cat  
(==1 participle (pof (== verb)) (temporality ?time-28 finished ?duration-9))

new queue:
status: rule-matched
status: rule-matched
rule application result
statusrule-matched
source cfs
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
applied rule
tag-only ?meaning-21346 
(meaning (== (warp ?e-71 ?time-28 finished ?duration-9)))
sem-cat  
(==0 (frames (== event)))
referent  
?e-71
tag-parts ?remaining-10 
(sem-cat (==1 (frames (== state-of-affairs))))
?moving-2 
(sem-cat (==1 (time-frame ?e-71 ?etime-7 ?estate-15 ?eduration-7)))
tag-parts ?meets-54 
(form (== (meets ?aux-unit-4 ?verb-unit-16)))
syn-cat  
(== auxiliary (temporality ?time-28 ongoing interval))
tag-only ?syn-cat-23 
(syn-cat (== (temporality ?etime-7 ?estate-15 ?eduration-7)))
meaning  
(== (time-frame ?s-36 ?time-28 ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 ?e-71) (type possession) (value ?s-36 ?value-38))
→ ?moving-2
?verb-unit-16
→ ?meaning-21346
?auxiliary-6
sem-cat  
(==1 (time-frame ?e-71 ?time-28 finished ?duration-9))
meaning  
(== (warp ?e-71 past nil interval))
?verb-unit-16
?aux-unit-4
→ ?meets-54
syn-cat  
(==1 participle (pof (== verb)) (temporality ?time-28 finished ?duration-9))
((production-rank . 0) (parsing-rank . 3))
tag-only ?meaning-21346 
(meaning (== (warp ?e-71 ?time-28 finished ?duration-9)))
sem-cat  
(==0 (frames (== event)))
referent  
?e-71
tag-parts ?remaining-10 
(sem-cat (==1 (frames (== state-of-affairs))))
?moving-2 
(sem-cat (==1 (time-frame ?e-71 ?etime-7 ?estate-15 ?eduration-7)))
tag-parts ?meets-54 
(form (== (meets ?aux-unit-4 ?verb-unit-16)))
syn-cat  
(== auxiliary (temporality ?time-28 ongoing interval))
tag-only ?syn-cat-23 
(syn-cat (== (temporality ?etime-7 ?estate-15 ?eduration-7)))
meaning  
(== (time-frame ?s-36 ?time-28 ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 ?e-71) (type possession) (value ?s-36 ?value-38))
→ ?moving-2
?verb-unit-16
→ ?meaning-21346
?auxiliary-6
sem-cat  
(==1 (time-frame ?e-71 ?time-28 finished ?duration-9))
meaning  
(== (warp ?e-71 past nil interval))
?verb-unit-16
?aux-unit-4
→ ?meets-54
syn-cat  
(==1 participle (pof (== verb)) (temporality ?time-28 finished ?duration-9))

expansion:
status: rule-applied
meaning  
((warp x present finished point))
sem-cat  
((time-frame x present ?state-102 interval))
meaning  
((time-frame ?s-36 present ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 x) (type possession) (value ?s-36 ?value-38))
referent  
x
meaning  
((drink x a p))
sem-cat  
(irregular (frames (event state-of-affairs consumption)) (time-frame x present finished point))
meaning  
((consumption x) (agent x a) (patient x p) (warp x past nil interval))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")) (meets aux-unit-14 drink-12))
syn-cat  
((number sing) (person 1st) (pof (verb irregular-verb)) lu (temporality present finished point) participle)
syn-cat  
((temporality present ?state-102 interval))
syn-cat  
(auxiliary (temporality present ongoing interval))
status: rule-applied
rule application result
statusrule-applied
source cfs
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
applied rule
tag-only ?meaning-21346 
(meaning (== (warp ?e-71 ?time-28 finished ?duration-9)))
sem-cat  
(==0 (frames (== event)))
referent  
?e-71
tag-parts ?remaining-10 
(sem-cat (==1 (frames (== state-of-affairs))))
?moving-2 
(sem-cat (==1 (time-frame ?e-71 ?etime-7 ?estate-15 ?eduration-7)))
tag-parts ?meets-54 
(form (== (meets ?aux-unit-4 ?verb-unit-16)))
syn-cat  
(== auxiliary (temporality ?time-28 ongoing interval))
tag-only ?syn-cat-23 
(syn-cat (== (temporality ?etime-7 ?estate-15 ?eduration-7)))
meaning  
(== (time-frame ?s-36 ?time-28 ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 ?e-71) (type possession) (value ?s-36 ?value-38))
→ ?moving-2
?verb-unit-16
→ ?meaning-21346
?auxiliary-6
sem-cat  
(==1 (time-frame ?e-71 ?time-28 finished ?duration-9))
meaning  
(== (warp ?e-71 past nil interval))
?verb-unit-16
?aux-unit-4
→ ?meets-54
syn-cat  
(==1 participle (pof (== verb)) (temporality ?time-28 finished ?duration-9))
((production-rank . 0) (parsing-rank . 3))
tag-only ?meaning-21346 
(meaning (== (warp ?e-71 ?time-28 finished ?duration-9)))
sem-cat  
(==0 (frames (== event)))
referent  
?e-71
tag-parts ?remaining-10 
(sem-cat (==1 (frames (== state-of-affairs))))
?moving-2 
(sem-cat (==1 (time-frame ?e-71 ?etime-7 ?estate-15 ?eduration-7)))
tag-parts ?meets-54 
(form (== (meets ?aux-unit-4 ?verb-unit-16)))
syn-cat  
(== auxiliary (temporality ?time-28 ongoing interval))
tag-only ?syn-cat-23 
(syn-cat (== (temporality ?etime-7 ?estate-15 ?eduration-7)))
meaning  
(== (time-frame ?s-36 ?time-28 ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 ?e-71) (type possession) (value ?s-36 ?value-38))
→ ?moving-2
?verb-unit-16
→ ?meaning-21346
?auxiliary-6
sem-cat  
(==1 (time-frame ?e-71 ?time-28 finished ?duration-9))
meaning  
(== (warp ?e-71 past nil interval))
?verb-unit-16
?aux-unit-4
→ ?meets-54
syn-cat  
(==1 participle (pof (== verb)) (temporality ?time-28 finished ?duration-9))
resulting structure
meaning  
((warp x present finished point))
sem-cat  
((time-frame x present ?state-102 interval))
meaning  
((time-frame ?s-36 present ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 x) (type possession) (value ?s-36 ?value-38))
referent  
x
meaning  
((drink x a p))
sem-cat  
(irregular (frames (event state-of-affairs consumption)) (time-frame x present finished point))
meaning  
((consumption x) (agent x a) (patient x p) (warp x past nil interval))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")) (meets aux-unit-14 drink-12))
syn-cat  
((number sing) (person 1st) (pof (verb irregular-verb)) lu (temporality present finished point) participle)
syn-cat  
((temporality present ?state-102 interval))
syn-cat  
(auxiliary (temporality present ongoing interval))
resulting bindings
((?syn-cat-23 syn-cat nil) (?meets-54 form nil) (?aux-unit-4 . aux-unit-14) (?auxiliary-6 . auxiliary-35) (?moving-2 sem-cat nil) (?eduration-7 . interval) (?estate-15 . ?state-102) (?etime-7 . present) (?remaining-10 sem-cat ((frames (state-of-affairs)))) (?verb-unit-16 . drink-12) (?meaning-21346 meaning nil) (?duration-9 . point) (?time-28 . present) (?e-71 . x) (?top-152441 . top))

new tree:
status: initial
meaning  
((drink x a p) (warp x present finished point))
status: initial
rule application result
statusinitial
resulting structure
meaning  
((drink x a p) (warp x present finished point))
status: rule-applied
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
status: rule-applied
rule application result
statusrule-applied
source cfs
meaning  
((drink x a p) (warp x present finished point))
applied rule
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
((production-rank . 0) (parsing-rank . 0))
tag-only ?meaning-21338 
(meaning (== (drink ?s-21 ?agent-2477 ?patient-163)))
sem-cat  
(==0 (frames (== state-of-affairs)))
tag-only ?form-21478 
(form (== (or (stem ?drink-527 "drink") (string ?drink-527 "drink"))))
syn-cat  
(==0 lu auxiliary)
referent  
?s-21
→ ?meaning-21338
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame ?s-21 present ?state-102 interval))
?top-152425
meaning  
(== (consumption ?s-21) (agent ?s-21 ?agent-2477) (patient ?s-21 ?patient-163))
?top-152425
→ ?form-21478
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting structure
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")))
syn-cat  
(lu (pof (verb irregular-verb)) (temporality present ?state-102 interval) (person 1st) (number sing))
resulting bindings
((?form-21478 form nil) (?drink-527 . drink-12) (?meaning-21338 meaning nil) (?patient-163 . p) (?agent-2477 . a) (?s-21 . x) (?top-152425 . top))
status: rule-applied
meaning  
((warp x present finished point))
sem-cat  
((time-frame x present ?state-102 interval))
meaning  
((time-frame ?s-36 present ongoing interval) (state ?s-36) (phenomenon ?s-36 ?phenomenon-242) (means ?s-36 x) (type possession) (value ?s-36 ?value-38))
referent  
x
meaning  
((drink x a p))
sem-cat  
(irregular (frames (event state-of-affairs consumption)) (time-frame x present finished point))
meaning  
((consumption x) (agent x a) (patient x p) (warp x past nil interval))
form  
((or (stem drink-12 "drink") (string drink-12 "drink")) (meets aux-unit-14 drink-12))
syn-cat  
((number sing) (person 1st) (pof (verb irregular-verb)) lu (temporality present finished point) participle)
syn-cat  
((temporality present ?state-102 interval))
syn-cat  
(auxiliary (temporality present ongoing interval))
status: rule-applied
rule application result
statusrule-applied
source cfs
meaning  
((drink x a p))
referent  
x
sem-cat  
((frames (event state-of-affairs consumption)) irregular (time-frame x present ?state-102 interval))
meaning  
((warp x present finished point) (patient x p) (agent x a) (consumption x))