TSPC 88_a_joyce

88_a_joyce_1914
Sometimes he used to put me through the responses of the Mass which he had made me learn by heart; and, as I pattered, he used to smile pensively and nod his head, now and then pushing huge pinches of snuff up each nostril alternately.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Sometimes;{sometimes}))
                      (NP-SBJ;{PRIEST} (PRO he;{he}))
                      (MD;_cat_Vt_ used;{used})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn.pr_ put;{put})
                                  (NP-OB1 (PRO me;{I}))
                                  (PP-NIM (P-ROLE through;{through})
                                          (NP (D the;{the})
                                              (NS responses;{response})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D the;{the})
                                                      (N Mass;{mass})))
                                              (IP-REL (NP-142 (RPRO which;{which}))
                                                      (NP-SBJ;{PRIEST} (PRO he;{he}))
                                                      (HVD;_cat_Ve_ had;{have})
                                                      (IP-PPL-CAT (VVN;_Cn.i_ made;{make})
                                                                  (NP-OB1 (PRO me;{I}))
                                                                  (IP-INF-PRD (NP-OB1 *ICH*-142)
                                                                              (VB;_Tn_ learn;{learn})
                                                                              (PP-NIM (P-ROLE by;{by})
                                                                                      (NP (N heart;{heart}))))))))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (PUNC ,)
                       (ILYR (PP-SCON (P-CONN as;{as})
                                      (IP-ADV (NP-SBJ (PRO I;{I}))
                                              (VBD;_I_ pattered;{patter})))
                             (PUNC ,)
                             (NP-SBJ;{PRIEST} (PRO he;{he}))
                             (MD;_cat_Vt_ used;{used})
                             (IP-INF-CAT (TO to;{to})
                                         (ILYR (ILYR (VB;_I_ smile;{smile})
                                                     (ADVP-NIM (ADV pensively;{pensively})))
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (VB;_Tn_ nod;{nod})
                                                            (NP-OB1 (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                                    (N head;{head})))))
                                         (PUNC ,)
                                         (PP-SCON (IP-PPL2 (ADVP-NIM (AVLYR (AVLYR (ADV now;{now}))
                                                                            (CONJP (CONJ and;{and})
                                                                                   (AVLYR (ADV then;{then})))))
                                                           (VAG;_Tn.pr_ pushing;{push})
                                                           (NP-OB1 (ADJP (ADJ huge;{huge}))
                                                                   (NS pinches;{pinch})
                                                                   (PP (P-ROLE of;{of})
                                                                       (NP (N snuff;{snuff}))))
                                                           (PP-NIM (P-ROLE up;{up})
                                                                   (NP (Q each;{each})
                                                                       (N nostril;{nostril})))
                                                           (ADVP-NIM (ADV alternately;{alternately}))))))))
          (PUNC .))
  (ID 88_a_joyce_1914))

arc(r_0088_0003__used,r_0088_0001__Sometimes,nim).
arc(r_0088_0003__used,r_0088_0005__put,scope).
arc(r_0088_0005__put,r_0088_0002__he,arg0).
arc(r_0088_0005__put,r_0088_0006__me,arg1).
arc(r_0088_0005__put,r_0088_0008__the_r_0088_0009__responses,r_0088_0007__through__nim).
arc(r_0088_0008__the_r_0088_0009__responses,r_0088_0011__the_r_0088_0012__Mass,r_0088_0010__of).
arc(r_0088_0015__had,r_0088_0016__made,scope).
arc(r_0088_0016__made,r_0088_0002__he,arg0).
arc(r_0088_0016__made,r_0088_0006__me,arg1).
arc(r_0088_0016__made,r_0088_0018__learn,prd).
arc(r_0088_0018__learn,r_0088_0008__the_r_0088_0009__responses,arg1).
arc(r_0088_0018__learn,r_0088_0020__heart,r_0088_0019__by__nim).
arc(r_0088_0018__learn,z_0088_5010,arg0).
arc(r_0088_0022__and,r_0088_0003__used,conj1).
arc(r_0088_0022__and,r_0088_0024__as,conj2).
arc(r_0088_0024__as,r_0088_0026__pattered,restriction).
arc(r_0088_0024__as,r_0088_0047__each__quant,scope).
arc(r_0088_0026__pattered,r_0088_0006__me,arg0).
arc(r_0088_0029__used,z_0088_5024,scope).
arc(r_0088_0031__smile,r_0088_0002__he,arg0).
arc(r_0088_0031__smile,r_0088_0032__pensively,nim).
arc(r_0088_0033__and,r_0088_0031__smile,conj1).
arc(r_0088_0033__and,r_0088_0034__nod,conj2).
arc(r_0088_0034__nod,r_0088_0002__he,arg0).
arc(r_0088_0034__nod,r_0088_0036__head,arg1).
arc(r_0088_0036__head,r_0088_0002__he,gen).
arc(r_0088_0039__and,r_0088_0038__now,conj1).
arc(r_0088_0039__and,r_0088_0040__then,conj2).
arc(r_0088_0041__pushing,r_0088_0002__he,arg0).
arc(r_0088_0041__pushing,r_0088_0039__and,nim).
arc(r_0088_0041__pushing,r_0088_0043__pinches,arg1).
arc(r_0088_0041__pushing,r_0088_0048__nostril,r_0088_0046__up__nim).
arc(r_0088_0041__pushing,r_0088_0049__alternately,nim).
arc(r_0088_0043__pinches,r_0088_0042__huge,attrib).
arc(r_0088_0043__pinches,r_0088_0045__snuff,r_0088_0044__of).
arc(r_0088_0047__each__quant,r_0088_0029__used,scope).
arc(r_0088_0047__each__quant,r_0088_0048__nostril,restriction).
arc(z_0088_5024,r_0088_0033__and,scope).
arc(z_0088_5024,r_0088_0041__pushing,restriction).

fof(formula,axiom,
    ? [R_0088_0002__HE,R_0088_0006__ME,R_0088_0011__THE_R_0088_0012__MASS,R_0088_0008__THE_R_0088_0009__RESPONSES,R_0088_0020__HEART,Z_0088_5010,R_0088_0018__LEARN,R_0088_0015__HAD_R_0088_0016__MADE,R_0088_0001__SOMETIMES,R_0088_0003__USED_R_0088_0005__PUT,R_0088_0026__PATTERED,R_0088_0024__AS,R_0088_0022__AND] :
      ( r_0088_0001__Sometimes(R_0088_0001__SOMETIMES)
      & r_0088_0002__he(R_0088_0002__HE)
      & r_0088_0006__me(R_0088_0006__ME)
      & r_0088_0011__the_r_0088_0012__Mass(R_0088_0011__THE_R_0088_0012__MASS)
      & r_0088_0020__heart(R_0088_0020__HEART)
      & z_0088_5010(Z_0088_5010)
      & r_0088_0022__and(R_0088_0022__AND)
      & has_conj2(R_0088_0022__AND,R_0088_0024__AS)
      & r_0088_0024__as(R_0088_0024__AS)
      & ! [R_0088_0048__NOSTRIL] :
          ( r_0088_0048__nostril(R_0088_0048__NOSTRIL)
         => ? [R_0088_0032__PENSIVELY,R_0088_0031__SMILE,R_0088_0036__HEAD,R_0088_0034__NOD,R_0088_0033__AND,R_0088_0038__NOW,R_0088_0040__THEN,R_0088_0039__AND,R_0088_0042__HUGE,R_0088_0045__SNUFF,R_0088_0043__PINCHES,R_0088_0049__ALTERNATELY,R_0088_0041__PUSHING,Z_0088_5024,R_0088_0029__USED] :
              ( r_0088_0032__pensively(R_0088_0032__PENSIVELY)
              & r_0088_0038__now(R_0088_0038__NOW)
              & r_0088_0040__then(R_0088_0040__THEN)
              & r_0088_0042__huge(R_0088_0042__HUGE)
              & r_0088_0045__snuff(R_0088_0045__SNUFF)
              & r_0088_0049__alternately(R_0088_0049__ALTERNATELY)
              & r_0088_0029__used(R_0088_0029__USED)
              & has_keep_scope(R_0088_0029__USED,Z_0088_5024)
              & z_0088_5024(Z_0088_5024)
              & has_conj1(Z_0088_5024,R_0088_0041__PUSHING)
              & r_0088_0041__pushing(R_0088_0041__PUSHING)
              & has_nim(R_0088_0041__PUSHING,R_0088_0049__ALTERNATELY)
              & has_r_0088_0046__up__nim(R_0088_0041__PUSHING,R_0088_0048__NOSTRIL)
              & has_arg1(R_0088_0041__PUSHING,R_0088_0043__PINCHES)
              & r_0088_0043__pinches(R_0088_0043__PINCHES)
              & has_r_0088_0044__of(R_0088_0043__PINCHES,R_0088_0045__SNUFF)
              & has_attrib(R_0088_0043__PINCHES,R_0088_0042__HUGE)
              & has_nim(R_0088_0041__PUSHING,R_0088_0039__AND)
              & r_0088_0039__and(R_0088_0039__AND)
              & has_conj2(R_0088_0039__AND,R_0088_0040__THEN)
              & has_conj1(R_0088_0039__AND,R_0088_0038__NOW)
              & has_arg0(R_0088_0041__PUSHING,R_0088_0002__HE)
              & has_conj2(Z_0088_5024,R_0088_0033__AND)
              & r_0088_0033__and(R_0088_0033__AND)
              & has_conj2(R_0088_0033__AND,R_0088_0034__NOD)
              & r_0088_0034__nod(R_0088_0034__NOD)
              & has_arg1(R_0088_0034__NOD,R_0088_0036__HEAD)
              & r_0088_0036__head(R_0088_0036__HEAD)
              & has_gen(R_0088_0036__HEAD,R_0088_0002__HE)
              & has_arg0(R_0088_0034__NOD,R_0088_0002__HE)
              & has_conj1(R_0088_0033__AND,R_0088_0031__SMILE)
              & r_0088_0031__smile(R_0088_0031__SMILE)
              & has_nim(R_0088_0031__SMILE,R_0088_0032__PENSIVELY)
              & has_arg0(R_0088_0031__SMILE,R_0088_0002__HE) ) )
      & has_conj1(R_0088_0024__AS,R_0088_0026__PATTERED)
      & r_0088_0026__pattered(R_0088_0026__PATTERED)
      & has_arg0(R_0088_0026__PATTERED,R_0088_0006__ME)
      & has_conj1(R_0088_0022__AND,R_0088_0003__USED_R_0088_0005__PUT)
      & r_0088_0003__used_r_0088_0005__put(R_0088_0003__USED_R_0088_0005__PUT)
      & has_r_0088_0007__through__nim(R_0088_0003__USED_R_0088_0005__PUT,R_0088_0008__THE_R_0088_0009__RESPONSES)
      & r_0088_0008__the_r_0088_0009__responses(R_0088_0008__THE_R_0088_0009__RESPONSES)
      & has_r_0088_0010__of(R_0088_0008__THE_R_0088_0009__RESPONSES,R_0088_0011__THE_R_0088_0012__MASS)
      & has_arg1(R_0088_0003__USED_R_0088_0005__PUT,R_0088_0006__ME)
      & has_arg0(R_0088_0003__USED_R_0088_0005__PUT,R_0088_0002__HE)
      & has_nim(R_0088_0003__USED_R_0088_0005__PUT,R_0088_0001__SOMETIMES)
      & r_0088_0015__had_r_0088_0016__made(R_0088_0015__HAD_R_0088_0016__MADE)
      & has_prd(R_0088_0015__HAD_R_0088_0016__MADE,R_0088_0018__LEARN)
      & r_0088_0018__learn(R_0088_0018__LEARN)
      & has_arg0(R_0088_0018__LEARN,Z_0088_5010)
      & has_r_0088_0019__by__nim(R_0088_0018__LEARN,R_0088_0020__HEART)
      & has_arg1(R_0088_0018__LEARN,R_0088_0008__THE_R_0088_0009__RESPONSES)
      & has_arg1(R_0088_0015__HAD_R_0088_0016__MADE,R_0088_0006__ME)
      & has_arg0(R_0088_0015__HAD_R_0088_0016__MADE,R_0088_0002__HE) ) ).