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_92_4_MOVED,R_92_3_WE,R_92_1_IN_FACT,R_92_6_STRATFORD,R_92_8_LOS_ANGELES] :
( we(R_92_3_WE)
& in_fact(R_92_1_IN_FACT)
& stratford(R_92_6_STRATFORD)
& los_Angeles(R_92_8_LOS_ANGELES)
& moved(R_92_4_MOVED,R_92_3_WE)
& nim2(R_92_4_MOVED,R_92_1_IN_FACT)
& from_nim15(R_92_4_MOVED,R_92_6_STRATFORD)
& to_nim21(R_92_4_MOVED,R_92_8_LOS_ANGELES) ) ).
( (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))