TSPC 64_a_joyce

64_a_joyce_1914
and I felt that I too was smiling feebly as if to absolve the simoniac of his sin.

( (IP-MAT (CONJ;_cl_ and;{and})
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tf_ felt;{feel})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (PRO I;{I}))
                              (ADVP-NIM (ADV too;{too}))
                              (BED;_cat_Vg_ was;{be})
                              (IP-PPL-CAT (VAG;_I_ smiling;{smile})
                                          (ADVP-NIM (ADV feebly;{feebly})))
                              (PP-SCON (P-CONN as_if;{as_if})
                                       (IP-INF (TO to;{to})
                                               (VB;_Tn.pr_ absolve;{absolve})
                                               (NP-OB1;{SIMONIAC} (D the;{the})
                                                                  (N simoniac;{simoniac}))
                                               (PP-CLR (P-ROLE of;{of})
                                                       (NP (NP-GEN;{SIMONIAC} (PRO;_genm_ his;{his}))
                                                           (N sin;{sin})))))))
          (PUNC .))
  (ID 64_a_joyce_1914))

arc(r_0064_0003__felt,r_0064_0002__I,arg0).
arc(r_0064_0003__felt,r_0064_0010__as_if,arg1).
arc(r_0064_0007__was,r_0064_0006__too,nim).
arc(r_0064_0007__was,r_0064_0008__smiling,scope).
arc(r_0064_0008__smiling,r_0064_0002__I,arg0).
arc(r_0064_0008__smiling,r_0064_0009__feebly,nim).
arc(r_0064_0010__as_if,r_0064_0007__was,scope).
arc(r_0064_0010__as_if,r_0064_0012__absolve_r_0064_0015__of,restriction).
arc(r_0064_0012__absolve_r_0064_0015__of,r_0064_0002__I,arg0).
arc(r_0064_0012__absolve_r_0064_0015__of,r_0064_0013__the_r_0064_0014__simoniac,arg1).
arc(r_0064_0012__absolve_r_0064_0015__of,r_0064_0017__sin,arg2).
arc(r_0064_0017__sin,r_0064_0013__the_r_0064_0014__simoniac,gen).

fof(formula,axiom,
    ? [R_0064_0002__I,R_0064_0006__TOO,R_0064_0009__FEEBLY,R_0064_0007__WAS_R_0064_0008__SMILING,R_0064_0013__THE_R_0064_0014__SIMONIAC,R_0064_0017__SIN,R_0064_0012__ABSOLVE_R_0064_0015__OF,R_0064_0010__AS_IF,R_0064_0003__FELT] :
      ( r_0064_0002__I(R_0064_0002__I)
      & r_0064_0006__too(R_0064_0006__TOO)
      & r_0064_0009__feebly(R_0064_0009__FEEBLY)
      & r_0064_0013__the_r_0064_0014__simoniac(R_0064_0013__THE_R_0064_0014__SIMONIAC)
      & r_0064_0003__felt(R_0064_0003__FELT)
      & has_arg1(R_0064_0003__FELT,R_0064_0010__AS_IF)
      & r_0064_0010__as_if(R_0064_0010__AS_IF)
      & has_conj1(R_0064_0010__AS_IF,R_0064_0012__ABSOLVE_R_0064_0015__OF)
      & r_0064_0012__absolve_r_0064_0015__of(R_0064_0012__ABSOLVE_R_0064_0015__OF)
      & has_arg2(R_0064_0012__ABSOLVE_R_0064_0015__OF,R_0064_0017__SIN)
      & r_0064_0017__sin(R_0064_0017__SIN)
      & has_gen(R_0064_0017__SIN,R_0064_0013__THE_R_0064_0014__SIMONIAC)
      & has_arg1(R_0064_0012__ABSOLVE_R_0064_0015__OF,R_0064_0013__THE_R_0064_0014__SIMONIAC)
      & has_arg0(R_0064_0012__ABSOLVE_R_0064_0015__OF,R_0064_0002__I)
      & has_conj2(R_0064_0010__AS_IF,R_0064_0007__WAS_R_0064_0008__SMILING)
      & r_0064_0007__was_r_0064_0008__smiling(R_0064_0007__WAS_R_0064_0008__SMILING)
      & has_nim(R_0064_0007__WAS_R_0064_0008__SMILING,R_0064_0009__FEEBLY)
      & has_arg0(R_0064_0007__WAS_R_0064_0008__SMILING,R_0064_0002__I)
      & has_nim(R_0064_0007__WAS_R_0064_0008__SMILING,R_0064_0006__TOO)
      & has_arg0(R_0064_0003__FELT,R_0064_0002__I) ) ).