TSPC 30_a_joyce

30_a_joyce_1914
The old chap taught him a great deal, mind you; and they say he had a great wish for him.”

( (IP-MAT (NP-SBJ;{PRIEST} (D The;{the})
                           (ADJP (ADJ old;{old}))
                           (N chap;{chap}))
          (VBD;_Dn.n_ taught;{teach})
          (NP-OB2;{SPEAKER} (PRO him;{he}))
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ great;{great}))
                  (N deal;{deal}))
          (PUNC ,)
          (INTJ mind_you)
          (PUNC ;)
          (PRN (IP-MAT (CONJ;_cl_ and;{and})
                       (NP-SBJ;{PERSONS} (PRO they;{they}))
                       (VBP;_Tf_ say;{say})
                       (CP-THT-OB1 (IP-SUB (NP-SBJ;{PRIEST} (PRO he;{he}))
                                           (HVD;_Tn_ had;{have})
                                           (NP-OB1 (D a;{a})
                                                   (ADJP (ADJ great;{great}))
                                                   (N wish;{wish})
                                                   (PP (P-ROLE for;{for})
                                                       (NP;{SPEAKER} (PRO him;{he}))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 30_a_joyce_1914))

arc(r_0030_0001__The_r_0030_0003__chap,r_0030_0002__old,attrib).
arc(r_0030_0004__taught,r_0030_0001__The_r_0030_0003__chap,arg0).
arc(r_0030_0004__taught,r_0030_0005__him,arg2).
arc(r_0030_0004__taught,r_0030_0006__a_r_0030_0008__deal,arg1).
arc(r_0030_0004__taught,r_0030_0014__say,prn).
arc(r_0030_0006__a_r_0030_0008__deal,r_0030_0007__great,attrib).
arc(r_0030_0014__say,r_0030_0013__they,arg0).
arc(r_0030_0014__say,r_0030_0016__had,arg1).
arc(r_0030_0016__had,r_0030_0001__The_r_0030_0003__chap,arg0).
arc(r_0030_0016__had,r_0030_0017__a_r_0030_0019__wish,arg1).
arc(r_0030_0017__a_r_0030_0019__wish,r_0030_0005__him,r_0030_0020__for).
arc(r_0030_0017__a_r_0030_0019__wish,r_0030_0018__great,attrib).

fof(formula,axiom,
    ? [R_0030_0002__OLD,R_0030_0001__THE_R_0030_0003__CHAP,R_0030_0005__HIM,R_0030_0007__GREAT,R_0030_0006__A_R_0030_0008__DEAL,R_0030_0013__THEY,R_0030_0018__GREAT,R_0030_0017__A_R_0030_0019__WISH,R_0030_0016__HAD,R_0030_0014__SAY,R_0030_0004__TAUGHT] :
      ( r_0030_0002__old(R_0030_0002__OLD)
      & r_0030_0005__him(R_0030_0005__HIM)
      & r_0030_0007__great(R_0030_0007__GREAT)
      & r_0030_0013__they(R_0030_0013__THEY)
      & r_0030_0018__great(R_0030_0018__GREAT)
      & r_0030_0004__taught(R_0030_0004__TAUGHT)
      & has_prn(R_0030_0004__TAUGHT,R_0030_0014__SAY)
      & r_0030_0014__say(R_0030_0014__SAY)
      & has_arg1(R_0030_0014__SAY,R_0030_0016__HAD)
      & r_0030_0016__had(R_0030_0016__HAD)
      & has_arg1(R_0030_0016__HAD,R_0030_0017__A_R_0030_0019__WISH)
      & r_0030_0017__a_r_0030_0019__wish(R_0030_0017__A_R_0030_0019__WISH)
      & has_attrib(R_0030_0017__A_R_0030_0019__WISH,R_0030_0018__GREAT)
      & has_r_0030_0020__for(R_0030_0017__A_R_0030_0019__WISH,R_0030_0005__HIM)
      & has_arg0(R_0030_0016__HAD,R_0030_0001__THE_R_0030_0003__CHAP)
      & r_0030_0001__The_r_0030_0003__chap(R_0030_0001__THE_R_0030_0003__CHAP)
      & has_attrib(R_0030_0001__THE_R_0030_0003__CHAP,R_0030_0002__OLD)
      & has_arg0(R_0030_0014__SAY,R_0030_0013__THEY)
      & has_arg1(R_0030_0004__TAUGHT,R_0030_0006__A_R_0030_0008__DEAL)
      & r_0030_0006__a_r_0030_0008__deal(R_0030_0006__A_R_0030_0008__DEAL)
      & has_attrib(R_0030_0006__A_R_0030_0008__DEAL,R_0030_0007__GREAT)
      & has_arg2(R_0030_0004__TAUGHT,R_0030_0005__HIM)
      & has_arg0(R_0030_0004__TAUGHT,R_0030_0001__THE_R_0030_0003__CHAP) ) ).