TSPC 143_a_joyce

143_a_joyce_1914
Only for Father O'Rourke I don't know what we'd have done at all.

( (IP-MAT (PP-NIM (ADVP-NIM (ADV Only;{only}))
                  (P-ROLE for;{for})
                  (NP;{ROURKE} (NPR Father;{Father})
                               (NPR O<apos>Rourke;{O<apos>Rourke})))
          (NP-SBJ;{ELIZA} (PRO I;{I}))
          (DOP do;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (VB;_Tw_ know;{know})
          (CP-QUE-OB1 (IP-SUB (NP-136 (WPRO what;{what}))
                              (NP-SBJ;{SISTERS} (PRO we;{we}))
                              (MD;_cat_Vi_ <apos>d;{will})
                              (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                          (IP-PPL-CAT (NP-OB1 *ICH*-136)
                                                      (DON;_Tn_ done;{do}))
                                          (ADVP-NIM (ADV at_all;{at_all})))))
          (PUNC .))
  (ID 143_a_joyce_1914))

arc(r_0143_0006__do_r_0143_0008__know,r_0143_0003__Father_r_0143_0004__O_apos_Rourke,r_0143_0001__Only_r_0143_0002__for__nim).
arc(r_0143_0006__do_r_0143_0008__know,r_0143_0005__I,arg0).
arc(r_0143_0006__do_r_0143_0008__know,r_0143_0011___apos_d,arg1).
arc(r_0143_0007__n_apos_t,r_0143_0006__do_r_0143_0008__know,keep_scope).
arc(r_0143_0011___apos_d,r_0143_0012__have,scope).
arc(r_0143_0012__have,r_0143_0013__done,scope).
arc(r_0143_0012__have,r_0143_0014__at_all,nim).
arc(r_0143_0013__done,r_0143_0009__what,arg1).
arc(r_0143_0013__done,r_0143_0010__we,arg0).

fof(formula,axiom,
    ~ ? [R_0143_0003__FATHER_R_0143_0004__O_APOS_ROURKE,R_0143_0005__I,R_0143_0014__AT_ALL,R_0143_0009__WHAT,R_0143_0010__WE,R_0143_0011___APOS_D_R_0143_0012__HAVE_R_0143_0013__DONE,R_0143_0006__DO_R_0143_0008__KNOW] :
        ( r_0143_0003__Father_r_0143_0004__O_apos_Rourke(R_0143_0003__FATHER_R_0143_0004__O_APOS_ROURKE)
        & r_0143_0005__I(R_0143_0005__I)
        & r_0143_0009__what(R_0143_0009__WHAT)
        & r_0143_0010__we(R_0143_0010__WE)
        & r_0143_0014__at_all(R_0143_0014__AT_ALL)
        & r_0143_0006__do_r_0143_0008__know(R_0143_0006__DO_R_0143_0008__KNOW)
        & has_arg1(R_0143_0006__DO_R_0143_0008__KNOW,R_0143_0011___APOS_D_R_0143_0012__HAVE_R_0143_0013__DONE)
        & r_0143_0011___apos_d_r_0143_0012__have_r_0143_0013__done(R_0143_0011___APOS_D_R_0143_0012__HAVE_R_0143_0013__DONE)
        & has_arg0(R_0143_0011___APOS_D_R_0143_0012__HAVE_R_0143_0013__DONE,R_0143_0010__WE)
        & has_arg1(R_0143_0011___APOS_D_R_0143_0012__HAVE_R_0143_0013__DONE,R_0143_0009__WHAT)
        & has_nim(R_0143_0011___APOS_D_R_0143_0012__HAVE_R_0143_0013__DONE,R_0143_0014__AT_ALL)
        & has_arg0(R_0143_0006__DO_R_0143_0008__KNOW,R_0143_0005__I)
        & has_r_0143_0001__Only_r_0143_0002__for__nim(R_0143_0006__DO_R_0143_0008__KNOW,R_0143_0003__FATHER_R_0143_0004__O_APOS_ROURKE) ) ).