( (IP-MAT (ADVP-NIM (ADV Anyway;{anyway}))
          (PUNC ,)
          (NP-SBJ;{GILLIAN} (PRO she;{she}))
          (VBD;_It_ went;{go})
          (IP-INF-CLR (TO to;{to})
                      (VB;__ see;{see})
                      (NP-OB1;{DOCTOR} (D this;{this})
                                       (N specialist;{specialist})))
          (PUNC .))
  (ID 227_a_ted_talk_11))

arc(r_0227_0004__went,r_0227_0001__Anyway,nim).
arc(r_0227_0004__went,r_0227_0003__she,arg0).
arc(r_0227_0004__went,r_0227_0006__see,clr).
arc(r_0227_0006__see,r_0227_0003__she,arg0).
arc(r_0227_0006__see,r_0227_0007__this_r_0227_0008__specialist,arg1).

fof(formula,axiom,
    ? [R_0227_0001__ANYWAY,R_0227_0003__SHE,R_0227_0007__THIS_R_0227_0008__SPECIALIST,R_0227_0006__SEE,R_0227_0004__WENT] :
      ( r_0227_0001__Anyway(R_0227_0001__ANYWAY)
      & r_0227_0003__she(R_0227_0003__SHE)
      & r_0227_0007__this_r_0227_0008__specialist(R_0227_0007__THIS_R_0227_0008__SPECIALIST)
      & r_0227_0004__went(R_0227_0004__WENT)
      & has_clr(R_0227_0004__WENT,R_0227_0006__SEE)
      & r_0227_0006__see(R_0227_0006__SEE)
      & has_arg1(R_0227_0006__SEE,R_0227_0007__THIS_R_0227_0008__SPECIALIST)
      & has_arg0(R_0227_0006__SEE,R_0227_0003__SHE)
      & has_arg0(R_0227_0004__WENT,R_0227_0003__SHE)
      & has_nim(R_0227_0004__WENT,R_0227_0001__ANYWAY) ) ).