arc(r_0110_0004__moved, r_0110_0001__Anyway, nim4).
arc(r_0110_0004__moved, r_0110_0003__we, arg0).
arc(r_0110_0004__moved, r_0110_0006__Stratford, r_0110_0005__from_nim17).
arc(r_0110_0004__moved, r_0110_0008__Los_r_0110_0009__Angeles, r_0110_0007__to_nim23).
arc(r_0110_0011__and, r_0110_0004__moved, conj1).
arc(r_0110_0011__and, r_0110_0014__want, conj2).
arc(r_0110_0014__want, r_0110_0012__I, arg0).
arc(r_0110_0014__want, r_0110_0013__just, nim37).
arc(r_0110_0014__want, r_0110_0015__to_r_0110_0016__say, arg1).
arc(r_0110_0015__to_r_0110_0016__say, r_0110_0012__I, arg0).
arc(r_0110_0015__to_r_0110_0016__say, r_0110_0017__a_r_0110_0018__word, arg1).
arc(r_0110_0015__to_r_0110_0016__say, r_0110_0020__the_r_0110_0021__transition, r_0110_0019__about_clr55).

fof(formula,axiom,
    ? [R_0110_0001__ANYWAY,R_0110_0003__WE,R_0110_0006__STRATFORD,R_0110_0008__LOS_R_0110_0009__ANGELES,R_0110_0004__MOVED,R_0110_0012__I,R_0110_0013__JUST,R_0110_0017__A_R_0110_0018__WORD,R_0110_0020__THE_R_0110_0021__TRANSITION,R_0110_0015__TO_R_0110_0016__SAY,R_0110_0014__WANT,R_0110_0011__AND] :
      ( r_0110_0001__Anyway(R_0110_0001__ANYWAY)
      & r_0110_0003__we(R_0110_0003__WE)
      & r_0110_0006__Stratford(R_0110_0006__STRATFORD)
      & r_0110_0008__Los_r_0110_0009__Angeles(R_0110_0008__LOS_R_0110_0009__ANGELES)
      & r_0110_0012__I(R_0110_0012__I)
      & r_0110_0013__just(R_0110_0013__JUST)
      & r_0110_0017__a_r_0110_0018__word(R_0110_0017__A_R_0110_0018__WORD)
      & r_0110_0020__the_r_0110_0021__transition(R_0110_0020__THE_R_0110_0021__TRANSITION)
      & r_0110_0011__and(R_0110_0011__AND)
      & has_conj2(R_0110_0011__AND,R_0110_0014__WANT)
      & r_0110_0014__want(R_0110_0014__WANT)
      & has_arg1(R_0110_0014__WANT,R_0110_0015__TO_R_0110_0016__SAY)
      & r_0110_0015__to_r_0110_0016__say(R_0110_0015__TO_R_0110_0016__SAY)
      & has_r_0110_0019__about_clr55(R_0110_0015__TO_R_0110_0016__SAY,R_0110_0020__THE_R_0110_0021__TRANSITION)
      & has_arg1(R_0110_0015__TO_R_0110_0016__SAY,R_0110_0017__A_R_0110_0018__WORD)
      & has_arg0(R_0110_0015__TO_R_0110_0016__SAY,R_0110_0012__I)
      & has_nim37(R_0110_0014__WANT,R_0110_0013__JUST)
      & has_arg0(R_0110_0014__WANT,R_0110_0012__I)
      & has_conj1(R_0110_0011__AND,R_0110_0004__MOVED)
      & r_0110_0004__moved(R_0110_0004__MOVED)
      & has_r_0110_0007__to_nim23(R_0110_0004__MOVED,R_0110_0008__LOS_R_0110_0009__ANGELES)
      & has_r_0110_0005__from_nim17(R_0110_0004__MOVED,R_0110_0006__STRATFORD)
      & has_arg0(R_0110_0004__MOVED,R_0110_0003__WE)
      & has_nim4(R_0110_0004__MOVED,R_0110_0001__ANYWAY) ) ).

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Anyway;{anyway}))
                      (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 ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (ADVP-NIM (ADV just;{just}))
                             (VBP;_Tt_ want;{want})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_Tn.pr_ say;{say[about]})
                                         (NP-OB1 (D a;{a})
                                                 (N word;{word}))
                                         (PP-CLR (P-ROLE about;{about})
                                                 (NP (D the;{the})
                                                     (N transition;{transition})))))))
          (PUNC .))
  (ID 110_a_ted_talk_11))