arc(r_0088_0002__when, r_0088_0004__thought, restriction).
arc(r_0088_0002__when, r_0088_0008__could, scope).
arc(r_0088_0004__thought, r_0088_0003__I, arg0).
arc(r_0088_0004__thought, r_0088_0006__this, r_0088_0005__of_clr17).
arc(r_0088_0008__could, r_0088_0001__Often, nim2).
arc(r_0088_0008__could, r_0088_0009__make, scope).
arc(r_0088_0009__make, r_0088_0003__I, arg0).
arc(r_0088_0009__make, r_0088_0012__or, arg1).
arc(r_0088_0010__no_quant, r_0088_0011__answer, restriction).
arc(r_0088_0010__no_quant, r_0088_0012__or, scope).
arc(r_0088_0012__or, r_0088_0011__answer, conj1).
arc(r_0088_0012__or, r_0088_0014__a_r_0088_0019__one, conj2).
arc(r_0088_0014__a_r_0088_0019__one, r_0088_0013__only, qual39).
arc(r_0088_0014__a_r_0088_0019__one, r_0088_0017__and, attrib44).
arc(r_0088_0017__and, r_0088_0015__very, qual45).
arc(r_0088_0017__and, r_0088_0016__foolish, conj1).
arc(r_0088_0017__and, r_0088_0018__halting, conj2).
arc(r_0088_0023__used, r_0088_0014__a_r_0088_0019__one, r_0088_0020__upon_nim64).
arc(r_0088_0023__used, r_0088_0026__and, scope).
arc(r_0088_0025__smile, r_0088_0022__he, arg0).
arc(r_0088_0026__and, r_0088_0025__smile, conj1).
arc(r_0088_0026__and, r_0088_0027__nod, conj2).
arc(r_0088_0027__nod, r_0088_0022__he, arg0).
arc(r_0088_0027__nod, r_0088_0029__head, arg1).
arc(r_0088_0027__nod, r_0088_0031__or, nim91).
arc(r_0088_0029__head, r_0088_0022__he, gen).
arc(r_0088_0031__or, r_0088_0030__twice, conj1).
arc(r_0088_0031__or, r_0088_0032__thrice, conj2).

fof(formula,axiom,
    ? [R_88_14_A_ONE,R_88_17_AND,R_88_16_FOOLISH,R_88_18_HALTING,R_88_15_VERY,R_88_13_ONLY] :
      ( foolish(R_88_16_FOOLISH)
      & halting(R_88_18_HALTING)
      & very(R_88_15_VERY)
      & only(R_88_13_ONLY)
      & ! [R_88_4_THOUGHT,R_88_3_I,R_88_6_THIS] :
          ( ( i(R_88_3_I)
            & this(R_88_6_THIS)
            & thought(R_88_4_THOUGHT,R_88_3_I)
            & of_clr17(R_88_4_THOUGHT,R_88_6_THIS) )
         => ? [R_88_8_COULD_MAKE,R_88_12_OR,R_88_11_ANSWER,R_88_1_OFTEN] :
              ( answer(R_88_11_ANSWER)
              & often(R_88_1_OFTEN)
              & could_make(R_88_8_COULD_MAKE,R_88_3_I,R_88_12_OR)
              & or(R_88_12_OR)
              & conj1(R_88_12_OR,R_88_11_ANSWER)
              & conj2(R_88_12_OR,R_88_14_A_ONE)
              & nim2(R_88_8_COULD_MAKE,R_88_1_OFTEN) ) )
      & ! [R_88_11_ANSWER] :
          ( answer(R_88_11_ANSWER)
         => ? [R_88_8_COULD_MAKE,R_88_3_I,R_88_12_OR,R_88_1_OFTEN] :
              ( i(R_88_3_I)
              & often(R_88_1_OFTEN)
              & could_make(R_88_8_COULD_MAKE,R_88_3_I,R_88_12_OR)
              & or(R_88_12_OR)
              & conj1(R_88_12_OR,R_88_11_ANSWER)
              & conj2(R_88_12_OR,R_88_14_A_ONE)
              & nim2(R_88_8_COULD_MAKE,R_88_1_OFTEN) ) )
      & ? [R_88_26_AND,R_88_25_SMILE,R_88_27_NOD,R_88_29_HEAD,R_88_22_HE,R_88_31_OR,R_88_30_TWICE,R_88_32_THRICE] :
          ( he(R_88_22_HE)
          & twice(R_88_30_TWICE)
          & thrice(R_88_32_THRICE)
          & and(R_88_26_AND)
          & conj1(R_88_26_AND,R_88_25_SMILE)
          & smile(R_88_25_SMILE,R_88_22_HE)
          & conj2(R_88_26_AND,R_88_27_NOD)
          & nod(R_88_27_NOD,R_88_22_HE,R_88_29_HEAD)
          & head(R_88_29_HEAD)
          & gen(R_88_29_HEAD,R_88_22_HE)
          & nim91(R_88_27_NOD,R_88_31_OR)
          & or(R_88_31_OR)
          & conj1(R_88_31_OR,R_88_30_TWICE)
          & conj2(R_88_31_OR,R_88_32_THRICE) ) ) ).

( (IP-MAT (ADVP-NIM (ADV Often;{often}))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_Ipr_ thought;{think[of]})
                           (PP-CLR (P-ROLE of;{of})
                                   (NP (D;_nphd_ this;{this})))))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (VB;_Tn_ make;{make})
                      (NP-OB1 (NLYR (NLYR (Q no;{no})
                                          (N answer;{answer}))
                                    (CONJP (CONJ or;{or})
                                           (NLYR (ADVP (ADV only;{only}))
                                                 (D a;{a})
                                                 (ADJP (ADVP (ADV very;{very}))
                                                       (AJLYR (AJLYR (ADJ foolish;{foolish}))
                                                              (CONJP (CONJ and;{and})
                                                                     (AJLYR (ADJ halting;{halting})))))
                                                 (N one;{one})
                                                 (IP-REL (PP-NIM (P-ROLE upon;{upon})
                                                                 (NP (RPRO which;{which})))
                                                         (NP-SBJ;{PRIEST} (PRO he;{he}))
                                                         (MD;_cat_Vt_ used;{used})
                                                         (IP-INF-CAT (TO to;{to})
                                                                     (ILYR (ILYR (VB;_I_ smile;{smile}))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (ILYR (VB;_Tn_ nod;{nod})
                                                                                        (NP-OB1 (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                                                                (N head;{head}))
                                                                                        (ADVP-NIM (AVLYR (AVLYR (ADV twice;{twice}))
                                                                                                         (CONJP (CONJ or;{or})
                                                                                                                (AVLYR (ADV thrice;{thrice})))))))))))))))
          (PUNC .))
  (ID 88_a_joyce_1914))