92_a_ted_talk_11
In fact, we moved from Stratford to 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))
arc(r_0092_0004__moved,r_0092_0001__In_fact,nim).
arc(r_0092_0004__moved,r_0092_0003__we,arg0).
arc(r_0092_0004__moved,r_0092_0006__Stratford,r_0092_0005__from__nim).
arc(r_0092_0004__moved,r_0092_0008__Los_r_0092_0009__Angeles,r_0092_0007__to__nim).
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__nim(R_0092_0004__MOVED,R_0092_0008__LOS_R_0092_0009__ANGELES)
& has_r_0092_0005__from__nim(R_0092_0004__MOVED,R_0092_0006__STRATFORD)
& has_arg0(R_0092_0004__MOVED,R_0092_0003__WE)
& has_nim(R_0092_0004__MOVED,R_0092_0001__IN_FACT) ) ).