( (IP-MAT (CONJ;_cl_ And;{and})
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{MOTHER+DOCTOR} (PRO they;{they}))
                           (VBD;_phr_Vp_ got;{get[out]})
                           (RP out;{out})))
          (PUNC ,)
          (NP-SBJ;{DOCTOR} (PRO he;{he}))
          (VBD;_Dpr.r_ said;{say[to]})
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{MOTHER} (NP-GEN;{GILLIAN} (PRO;_genm_ her;{her}))
                               (N mother;{mother})))
          (PUNC ,)
          (PULQ <ldquo>)
          (utterance-OB1 (IP-IMP (ADVP-NIM (ADV Just;{just}))
                                 (ILYR (ILYR (VB;_I_ stand;{stand}))
                                       (CONJP (CONJ and;{and})
                                              (ILYR (VB;_Tn_ watch;{watch})
                                                    (NP-OB1;{GILLIAN} (PRO her;{her})))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 232_a_ted_talk_11))

arc(r_0232_0002__when,r_0232_0004__got_r_0232_0005__out,restriction).
arc(r_0232_0002__when,r_0232_0008__said_r_0232_0009__to,scope).
arc(r_0232_0004__got_r_0232_0005__out,r_0232_0003__they,arg0).
arc(r_0232_0008__said_r_0232_0009__to,r_0232_0007__he,arg0).
arc(r_0232_0008__said_r_0232_0009__to,r_0232_0011__mother,arg2).
arc(r_0232_0008__said_r_0232_0009__to,z_0232_5005__utterance,arg1).
arc(r_0232_0011__mother,r_0232_0010__her,gen).
arc(r_0232_0015__stand,r_0232_0014__Just,nim).
arc(r_0232_0015__stand,z_0232_5007,arg0).
arc(r_0232_0016__and,r_0232_0015__stand,conj1).
arc(r_0232_0016__and,r_0232_0017__watch,conj2).
arc(r_0232_0017__watch,r_0232_0010__her,arg1).
arc(r_0232_0017__watch,r_0232_0014__Just,nim).
arc(r_0232_0017__watch,z_0232_5007,arg0).
arc(z_0232_5005__utterance,r_0232_0016__and,part1).

fof(formula,axiom,
    ! [R_0232_0004__GOT_R_0232_0005__OUT,R_0232_0003__THEY] :
      ( ( r_0232_0003__they(R_0232_0003__THEY)
        & r_0232_0004__got_r_0232_0005__out(R_0232_0004__GOT_R_0232_0005__OUT)
        & has_arg0(R_0232_0004__GOT_R_0232_0005__OUT,R_0232_0003__THEY) )
     => ? [R_0232_0007__HE,R_0232_0010__HER,R_0232_0011__MOTHER,R_0232_0014__JUST,Z_0232_5007,R_0232_0015__STAND,R_0232_0017__WATCH,R_0232_0016__AND,Z_0232_5005__UTTERANCE,R_0232_0008__SAID_R_0232_0009__TO] :
          ( r_0232_0007__he(R_0232_0007__HE)
          & r_0232_0010__her(R_0232_0010__HER)
          & r_0232_0014__Just(R_0232_0014__JUST)
          & z_0232_5007(Z_0232_5007)
          & r_0232_0008__said_r_0232_0009__to(R_0232_0008__SAID_R_0232_0009__TO)
          & has_arg1(R_0232_0008__SAID_R_0232_0009__TO,Z_0232_5005__UTTERANCE)
          & z_0232_5005__utterance(Z_0232_5005__UTTERANCE)
          & has_part1(Z_0232_5005__UTTERANCE,R_0232_0016__AND)
          & r_0232_0016__and(R_0232_0016__AND)
          & has_conj2(R_0232_0016__AND,R_0232_0017__WATCH)
          & r_0232_0017__watch(R_0232_0017__WATCH)
          & has_arg0(R_0232_0017__WATCH,Z_0232_5007)
          & has_nim(R_0232_0017__WATCH,R_0232_0014__JUST)
          & has_arg1(R_0232_0017__WATCH,R_0232_0010__HER)
          & has_conj1(R_0232_0016__AND,R_0232_0015__STAND)
          & r_0232_0015__stand(R_0232_0015__STAND)
          & has_arg0(R_0232_0015__STAND,Z_0232_5007)
          & has_nim(R_0232_0015__STAND,R_0232_0014__JUST)
          & has_arg2(R_0232_0008__SAID_R_0232_0009__TO,R_0232_0011__MOTHER)
          & r_0232_0011__mother(R_0232_0011__MOTHER)
          & has_gen(R_0232_0011__MOTHER,R_0232_0010__HER)
          & has_arg0(R_0232_0008__SAID_R_0232_0009__TO,R_0232_0007__HE) ) ) ).