120_a_ted_talk_11
But something strikes you when you move to America and travel around the world:
arc(r_0120_0001__But_r_0120_0003__strikes, r_0120_0002__something, arg0).
arc(r_0120_0001__But_r_0120_0003__strikes, r_0120_0004__you, arg1).
arc(r_0120_0005__when, r_0120_0001__But_r_0120_0003__strikes, scope).
arc(r_0120_0005__when, r_0120_0010__and, restriction).
arc(r_0120_0007__move, r_0120_0006__you, arg0).
arc(r_0120_0007__move, r_0120_0009__America, r_0120_0008__to_nim26).
arc(r_0120_0010__and, r_0120_0007__move, conj1).
arc(r_0120_0010__and, r_0120_0011__travel, conj2).
arc(r_0120_0011__travel, r_0120_0006__you, arg0).
arc(r_0120_0011__travel, r_0120_0013__the_r_0120_0014__world, r_0120_0012__around_nim38).
fof(formula,axiom,
! [R_120_10_AND,R_120_7_MOVE,R_120_9_AMERICA,R_120_11_TRAVEL,R_120_6_YOU,R_120_13_THE_WORLD] :
( ( america(R_120_9_AMERICA)
& you(R_120_6_YOU)
& the_world(R_120_13_THE_WORLD)
& and(R_120_10_AND)
& conj1(R_120_10_AND,R_120_7_MOVE)
& move(R_120_7_MOVE,R_120_6_YOU)
& to_nim26(R_120_7_MOVE,R_120_9_AMERICA)
& conj2(R_120_10_AND,R_120_11_TRAVEL)
& travel(R_120_11_TRAVEL,R_120_6_YOU)
& around_nim38(R_120_11_TRAVEL,R_120_13_THE_WORLD) )
=> ? [R_120_1_BUT_STRIKES,R_120_2_SOMETHING,R_120_4_YOU] :
( something(R_120_2_SOMETHING)
& you(R_120_4_YOU)
& but_strikes(R_120_1_BUT_STRIKES,R_120_2_SOMETHING,R_120_4_YOU) ) ) ).
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ (D;_nphd_ something;{something}))
(VBP;_Tn_ strikes;{strike})
(NP-OB1;{PERSONMOVER} (PRO you;{you}))
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ;{PERSONMOVER} (PRO you;{you}))
(ILYR (ILYR (VBP;_I_ move;{move})
(PP-NIM (P-ROLE to;{to})
(NP (NPR America;{America}))))
(CONJP (CONJ and;{and})
(ILYR (VBP;_I_ travel;{travel})
(PP-NIM (P-ROLE around;{around})
(NP (D the;{the})
(N world;{world}))))))))
(PUNC :))
(ID 120_a_ted_talk_11))