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_0120_0010__AND,R_0120_0006__YOU,R_0120_0009__AMERICA,R_0120_0007__MOVE,R_0120_0013__THE_R_0120_0014__WORLD,R_0120_0011__TRAVEL] :
      ( ( r_0120_0006__you(R_0120_0006__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_nim38(R_0120_0011__TRAVEL,R_0120_0013__THE_R_0120_0014__WORLD)
        & has_arg0(R_0120_0011__TRAVEL,R_0120_0006__YOU)
        & has_conj1(R_0120_0010__AND,R_0120_0007__MOVE)
        & r_0120_0007__move(R_0120_0007__MOVE)
        & has_r_0120_0008__to_nim26(R_0120_0007__MOVE,R_0120_0009__AMERICA)
        & has_arg0(R_0120_0007__MOVE,R_0120_0006__YOU) )
     => ? [R_0120_0002__SOMETHING,R_0120_0004__YOU,R_0120_0001__BUT_R_0120_0003__STRIKES] :
          ( r_0120_0002__something(R_0120_0002__SOMETHING)
          & r_0120_0004__you(R_0120_0004__YOU)
          & r_0120_0001__But_r_0120_0003__strikes(R_0120_0001__BUT_R_0120_0003__STRIKES)
          & has_arg1(R_0120_0001__BUT_R_0120_0003__STRIKES,R_0120_0004__YOU)
          & has_arg0(R_0120_0001__BUT_R_0120_0003__STRIKES,R_0120_0002__SOMETHING) ) ) ).

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