92_a_ted_talk_11
In fact, we moved from Stratford to Los Angeles.
arc(r_0092_0004__moved, r_0092_0001__In_fact, nim2).
arc(r_0092_0004__moved, r_0092_0003__we, arg0).
arc(r_0092_0004__moved, r_0092_0006__Stratford, r_0092_0005__from_nim15).
arc(r_0092_0004__moved, r_0092_0008__Los_r_0092_0009__Angeles, r_0092_0007__to_nim21).
fof(formula,axiom,
? [R_0092_0001__IN_FACT,R_0092_0003__WE,R_0092_0006__STRATFORD,R_0092_0008__LOS_R_0092_0009__ANGELES,R_0092_0004__MOVED] :
( r_0092_0001__In_fact(R_0092_0001__IN_FACT)
& r_0092_0003__we(R_0092_0003__WE)
& r_0092_0006__Stratford(R_0092_0006__STRATFORD)
& r_0092_0008__Los_r_0092_0009__Angeles(R_0092_0008__LOS_R_0092_0009__ANGELES)
& r_0092_0004__moved(R_0092_0004__MOVED)
& has_r_0092_0007__to_nim21(R_0092_0004__MOVED,R_0092_0008__LOS_R_0092_0009__ANGELES)
& has_r_0092_0005__from_nim15(R_0092_0004__MOVED,R_0092_0006__STRATFORD)
& has_arg0(R_0092_0004__MOVED,R_0092_0003__WE)
& has_nim2(R_0092_0004__MOVED,R_0092_0001__IN_FACT) ) ).
( (IP-MAT;{HOUSEMOVE} (ADVP-NIM (ADV In_fact;{in_fact}))
(PUNC ,)
(NP-SBJ (PRO we;{we}))
(VBD;_I_ moved;{move})
(PP-NIM (P-ROLE from;{from})
(NP (NPR Stratford;{Stratford})))
(PP-NIM (P-ROLE to;{to})
(NP (NPR Los;{Los})
(NPR Angeles;{Angeles})))
(PUNC .))
(ID 92_a_ted_talk_11))