TSPC 120_a_ted_talk

120_a_ted_talk_11
But something strikes you when you move to America and travel around the world:

( (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))

arc(r_0120_0003__strikes,r_0120_0002__something,arg0).
arc(r_0120_0003__strikes,r_0120_0004__you,arg1).
arc(r_0120_0005__when,r_0120_0003__strikes,scope).
arc(r_0120_0005__when,r_0120_0010__and,restriction).
arc(r_0120_0007__move,r_0120_0004__you,arg0).
arc(r_0120_0007__move,r_0120_0009__America,r_0120_0008__to__nim).
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_0004__you,arg0).
arc(r_0120_0011__travel,r_0120_0013__the_r_0120_0014__world,r_0120_0012__around__nim).

fof(formula,axiom,
    ! [R_0120_0010__AND,R_0120_0004__YOU,R_0120_0009__AMERICA,R_0120_0007__MOVE,R_0120_0013__THE_R_0120_0014__WORLD,R_0120_0011__TRAVEL] :
      ( ( r_0120_0004__you(R_0120_0004__YOU)
        & r_0120_0009__America(R_0120_0009__AMERICA)
        & r_0120_0013__the_r_0120_0014__world(R_0120_0013__THE_R_0120_0014__WORLD)
        & r_0120_0010__and(R_0120_0010__AND)
        & has_conj2(R_0120_0010__AND,R_0120_0011__TRAVEL)
        & r_0120_0011__travel(R_0120_0011__TRAVEL)
        & has_r_0120_0012__around__nim(R_0120_0011__TRAVEL,R_0120_0013__THE_R_0120_0014__WORLD)
        & has_arg0(R_0120_0011__TRAVEL,R_0120_0004__YOU)
        & has_conj1(R_0120_0010__AND,R_0120_0007__MOVE)
        & r_0120_0007__move(R_0120_0007__MOVE)
        & has_r_0120_0008__to__nim(R_0120_0007__MOVE,R_0120_0009__AMERICA)
        & has_arg0(R_0120_0007__MOVE,R_0120_0004__YOU) )
     => ? [R_0120_0002__SOMETHING,R_0120_0003__STRIKES] :
          ( r_0120_0002__something(R_0120_0002__SOMETHING)
          & r_0120_0003__strikes(R_0120_0003__STRIKES)
          & has_arg1(R_0120_0003__STRIKES,R_0120_0004__YOU)
          & has_arg0(R_0120_0003__STRIKES,R_0120_0002__SOMETHING) ) ) ).