TSPC 150_a_stuck

150_a_stuck_japan
“I have two daughters who will soon graduate from university, “I told her.

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (PRO I;{I}))
                                 (HVP;_Tn_ have;{have})
                                 (NP-OB1 (NUM two;{two})
                                         (NS daughters;{daughter})
                                         (IP-REL (NP-SBJ (RPRO who;{who}))
                                                 (MD;_cat_Vi_ will;{will})
                                                 (ADVP-NIM (ADV soon;{soon}))
                                                 (IP-PPL-CAT (VB;__ graduate;{graduate})
                                                             (PP-NIM (P-ROLE from;{from})
                                                                     (NP (N university;{university}))))))))
          (PUNC ,)
          (PULQ <ldquo>)
          (NP-SBJ (PRO I;{I}))
          (VBD;__ told;{tell})
          (NP-OB2;{KOIKE} (PRO her;{she}))
          (PUNC .))
  (ID 150_a_stuck_japan))

arc(r_0150_0003__have,r_0150_0002__I,arg0).
arc(r_0150_0003__have,r_0150_0004__two_r_0150_0005__daughters,arg1).
arc(r_0150_0007__will,r_0150_0008__soon,nim).
arc(r_0150_0007__will,r_0150_0009__graduate,scope).
arc(r_0150_0009__graduate,r_0150_0004__two_r_0150_0005__daughters,arg0).
arc(r_0150_0009__graduate,r_0150_0011__university,r_0150_0010__from__nim).
arc(r_0150_0015__told,r_0150_0002__I,arg0).
arc(r_0150_0015__told,r_0150_0016__her,arg2).
arc(r_0150_0015__told,z_0150_5002__utterance,arg1).
arc(z_0150_5002__utterance,r_0150_0003__have,part1).

fof(formula,axiom,
    ? [R_0150_0008__SOON,R_0150_0004__TWO_R_0150_0005__DAUGHTERS,R_0150_0011__UNIVERSITY,R_0150_0007__WILL_R_0150_0009__GRADUATE,R_0150_0002__I,R_0150_0016__HER,R_0150_0003__HAVE,Z_0150_5002__UTTERANCE,R_0150_0015__TOLD] :
      ( r_0150_0002__I(R_0150_0002__I)
      & r_0150_0004__two_r_0150_0005__daughters(R_0150_0004__TWO_R_0150_0005__DAUGHTERS)
      & r_0150_0008__soon(R_0150_0008__SOON)
      & r_0150_0011__university(R_0150_0011__UNIVERSITY)
      & r_0150_0016__her(R_0150_0016__HER)
      & r_0150_0015__told(R_0150_0015__TOLD)
      & has_arg1(R_0150_0015__TOLD,Z_0150_5002__UTTERANCE)
      & z_0150_5002__utterance(Z_0150_5002__UTTERANCE)
      & has_part1(Z_0150_5002__UTTERANCE,R_0150_0003__HAVE)
      & r_0150_0003__have(R_0150_0003__HAVE)
      & has_arg1(R_0150_0003__HAVE,R_0150_0004__TWO_R_0150_0005__DAUGHTERS)
      & has_arg0(R_0150_0003__HAVE,R_0150_0002__I)
      & has_arg2(R_0150_0015__TOLD,R_0150_0016__HER)
      & has_arg0(R_0150_0015__TOLD,R_0150_0002__I)
      & r_0150_0007__will_r_0150_0009__graduate(R_0150_0007__WILL_R_0150_0009__GRADUATE)
      & has_r_0150_0010__from__nim(R_0150_0007__WILL_R_0150_0009__GRADUATE,R_0150_0011__UNIVERSITY)
      & has_arg0(R_0150_0007__WILL_R_0150_0009__GRADUATE,R_0150_0004__TWO_R_0150_0005__DAUGHTERS)
      & has_nim(R_0150_0007__WILL_R_0150_0009__GRADUATE,R_0150_0008__SOON) ) ).