( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (VBD;_Tf_ knew;{know})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (PRO I;{I}))
                                          (BED;_Ipr_ was;{be[under]})
                                          (PP-CLR (P-ROLE under;{under})
                                                  (NP (N observation;{observation}))))))
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ (PRO I;{I}))
                             (VBD;_Tg_ continued;{continue})
                             (IP-PPL-OB1 (VAG;_I_ eating;{eat}))
                             (PP-SCON (P-CONN as_if;{as_if})
                                      (IP-ADV (NP-SBJ (D the;{the})
                                                      (N news;{news}))
                                              (HVD;_cat_Ve_ had;{have})
                                              (NEG not;{not})
                                              (IP-PPL-CAT (VVN;_Tn_ interested;{interest})
                                                          (NP-OB1 (PRO me;{I}))))))))
          (PUNC .))
  (ID 27_a_joyce_1914))

arc(r_0027_0002__knew,r_0027_0001__I,arg0).
arc(r_0027_0002__knew,r_0027_0005__was_r_0027_0006__under,arg1).
arc(r_0027_0005__was_r_0027_0006__under,r_0027_0001__I,arg0).
arc(r_0027_0005__was_r_0027_0006__under,r_0027_0007__observation,arg1).
arc(r_0027_0010__continued,r_0027_0001__I,arg0).
arc(r_0027_0010__continued,r_0027_0008__so,nim).
arc(r_0027_0010__continued,r_0027_0011__eating,arg1).
arc(r_0027_0011__eating,r_0027_0001__I,arg0).
arc(r_0027_0012__as_if,r_0027_0010__continued,scope).
arc(r_0027_0012__as_if,r_0027_0016__not,restriction).
arc(r_0027_0015__had,r_0027_0017__interested,scope).
arc(r_0027_0016__not,r_0027_0015__had,keep_scope).
arc(r_0027_0017__interested,r_0027_0001__I,arg1).
arc(r_0027_0017__interested,r_0027_0013__the_r_0027_0014__news,arg0).
arc(z_0027_5001,r_0027_0002__knew,conj1).
arc(z_0027_5001,r_0027_0012__as_if,conj2).

fof(formula,axiom,
    ? [R_0027_0001__I,R_0027_0007__OBSERVATION,R_0027_0005__WAS_R_0027_0006__UNDER,R_0027_0002__KNEW,R_0027_0008__SO,R_0027_0011__EATING,R_0027_0010__CONTINUED,R_0027_0012__AS_IF,Z_0027_5001] :
      ( r_0027_0001__I(R_0027_0001__I)
      & r_0027_0007__observation(R_0027_0007__OBSERVATION)
      & r_0027_0008__so(R_0027_0008__SO)
      & z_0027_5001(Z_0027_5001)
      & has_conj2(Z_0027_5001,R_0027_0012__AS_IF)
      & r_0027_0012__as_if(R_0027_0012__AS_IF)
      & has_conj1(R_0027_0012__AS_IF,R_0027_0016__NOT)
      & ~ ? [R_0027_0013__THE_R_0027_0014__NEWS,R_0027_0015__HAD_R_0027_0017__INTERESTED] :
            ( r_0027_0013__the_r_0027_0014__news(R_0027_0013__THE_R_0027_0014__NEWS)
            & r_0027_0015__had_r_0027_0017__interested(R_0027_0015__HAD_R_0027_0017__INTERESTED)
            & has_arg0(R_0027_0015__HAD_R_0027_0017__INTERESTED,R_0027_0013__THE_R_0027_0014__NEWS)
            & has_arg1(R_0027_0015__HAD_R_0027_0017__INTERESTED,R_0027_0001__I) )
      & has_conj2(R_0027_0012__AS_IF,R_0027_0010__CONTINUED)
      & r_0027_0010__continued(R_0027_0010__CONTINUED)
      & has_arg1(R_0027_0010__CONTINUED,R_0027_0011__EATING)
      & r_0027_0011__eating(R_0027_0011__EATING)
      & has_arg0(R_0027_0011__EATING,R_0027_0001__I)
      & has_nim(R_0027_0010__CONTINUED,R_0027_0008__SO)
      & has_arg0(R_0027_0010__CONTINUED,R_0027_0001__I)
      & has_conj1(Z_0027_5001,R_0027_0002__KNEW)
      & r_0027_0002__knew(R_0027_0002__KNEW)
      & has_arg1(R_0027_0002__KNEW,R_0027_0005__WAS_R_0027_0006__UNDER)
      & r_0027_0005__was_r_0027_0006__under(R_0027_0005__WAS_R_0027_0006__UNDER)
      & has_arg1(R_0027_0005__WAS_R_0027_0006__UNDER,R_0027_0007__OBSERVATION)
      & has_arg0(R_0027_0005__WAS_R_0027_0006__UNDER,R_0027_0001__I)
      & has_arg0(R_0027_0002__KNEW,R_0027_0001__I) ) ).