TSPC 42_a_joyce

42_a_joyce_1914
That's what I'm always saying to that Rosicrucian there: take exercise.

( (IP-MAT (NP-SBJ (D;_nphd_ That;{that})
                  (PRN *ICH*-156))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (IP-REL (NP-157 (RPRO what;{what}))
                          (NP-SBJ;{UNCLE} (PRO I;{I}))
                          (BEP;_cat_Vg_ <apos>m;{be})
                          (IP-PPL-CAT (NP-OB1 *ICH*-157)
                                      (ADVP-NIM (ADV always;{always}))
                                      (VAG;_Dn.pr_ saying;{say[to]})
                                      (PP-CLR (P-ROLE to;{to})
                                              (NP (D that;{that})
                                                  (NPR Rosicrucian;{Rosicrucian})))
                                      (ADVP-NIM (ADV there;{there})))))
          (PUNC :)
          (PRN-EPD-156 (IP-IMP (VB;_Tn_ take;{take})
                               (NP-OB1 (N exercise;{exercise}))))
          (PUNC .))
  (ID 42_a_joyce_1914))

arc(r_0042_0001__That,r_0042_0013__take,prn).
arc(r_0042_0002___apos_s,r_0042_0001__That,arg0).
arc(r_0042_0002___apos_s,r_0042_0003__what,prd).
arc(r_0042_0005___apos_m,r_0042_0007__saying,scope).
arc(r_0042_0007__saying,r_0042_0003__what,arg1).
arc(r_0042_0007__saying,r_0042_0004__I,arg0).
arc(r_0042_0007__saying,r_0042_0006__always,nim).
arc(r_0042_0007__saying,r_0042_0009__that_r_0042_0010__Rosicrucian,r_0042_0008__to__clr).
arc(r_0042_0007__saying,r_0042_0011__there,nim).
arc(r_0042_0013__take,r_0042_0014__exercise,arg1).
arc(r_0042_0013__take,z_0042_5003,arg0).

fof(formula,axiom,
    ? [R_0042_0014__EXERCISE,Z_0042_5003,R_0042_0013__TAKE,R_0042_0001__THAT,R_0042_0003__WHAT,R_0042_0002___APOS_S,R_0042_0004__I,R_0042_0006__ALWAYS,R_0042_0009__THAT_R_0042_0010__ROSICRUCIAN,R_0042_0011__THERE,R_0042_0005___APOS_M_R_0042_0007__SAYING] :
      ( r_0042_0003__what(R_0042_0003__WHAT)
      & r_0042_0004__I(R_0042_0004__I)
      & r_0042_0006__always(R_0042_0006__ALWAYS)
      & r_0042_0009__that_r_0042_0010__Rosicrucian(R_0042_0009__THAT_R_0042_0010__ROSICRUCIAN)
      & r_0042_0011__there(R_0042_0011__THERE)
      & r_0042_0014__exercise(R_0042_0014__EXERCISE)
      & z_0042_5003(Z_0042_5003)
      & r_0042_0005___apos_m_r_0042_0007__saying(R_0042_0005___APOS_M_R_0042_0007__SAYING)
      & has_nim(R_0042_0005___APOS_M_R_0042_0007__SAYING,R_0042_0011__THERE)
      & has_r_0042_0008__to__clr(R_0042_0005___APOS_M_R_0042_0007__SAYING,R_0042_0009__THAT_R_0042_0010__ROSICRUCIAN)
      & has_nim(R_0042_0005___APOS_M_R_0042_0007__SAYING,R_0042_0006__ALWAYS)
      & has_arg0(R_0042_0005___APOS_M_R_0042_0007__SAYING,R_0042_0004__I)
      & has_arg1(R_0042_0005___APOS_M_R_0042_0007__SAYING,R_0042_0003__WHAT)
      & r_0042_0002___apos_s(R_0042_0002___APOS_S)
      & has_prd(R_0042_0002___APOS_S,R_0042_0003__WHAT)
      & has_arg0(R_0042_0002___APOS_S,R_0042_0001__THAT)
      & r_0042_0001__That(R_0042_0001__THAT)
      & has_prn(R_0042_0001__THAT,R_0042_0013__TAKE)
      & r_0042_0013__take(R_0042_0013__TAKE)
      & has_arg0(R_0042_0013__TAKE,Z_0042_5003)
      & has_arg1(R_0042_0013__TAKE,R_0042_0014__EXERCISE) ) ).