arc(r_0190_0002__resumed, r_0190_0001__Eliza, arg0).
arc(r_0190_0002__resumed, utterance_190_a_joyce_1914_11, arg1).
arc(r_0190_0006__and, r_0190_0005__Wide__hyphen__awake, conj1).
arc(r_0190_0006__and, r_0190_0007__laughing__hyphen__like, conj2).
arc(r_0190_0007__laughing__hyphen__like, r_0190_0009__himself, r_0190_0008__to).
arc(r_0190_0017__when, r_0190_0019__saw, restriction).
arc(r_0190_0017__when, r_0190_0023__made, scope).
arc(r_0190_0019__saw, r_0190_0018__they, arg0).
arc(r_0190_0019__saw, r_0190_0020__that, arg1).
arc(r_0190_0023__made, r_0190_0012__So, nim35).
arc(r_0190_0023__made, r_0190_0013__then, nim38).
arc(r_0190_0023__made, r_0190_0015__of_course, nim43).
arc(r_0190_0023__made, r_0190_0022__that, arg0).
arc(r_0190_0023__made, r_0190_0024__them, arg1).
arc(r_0190_0023__made, r_0190_0025__think, prd).
arc(r_0190_0025__think, r_0190_0026__that_r_0190_0027__there_r_0190_0028__was, arg1).
arc(r_0190_0025__think, x_000_190_a_joyce_1914_70, arg0).
arc(r_0190_0026__that_r_0190_0027__there_r_0190_0028__was, r_0190_0030__gone, scope).
arc(r_0190_0030__gone, r_0190_0029__something, arg0).
arc(r_0190_0030__gone, r_0190_0031__wrong, prd).
arc(r_0190_0031__wrong, r_0190_0033__him, r_0190_0032__with).
arc(utterance_190_a_joyce_1914_11, r_0190_0017__when, part2).
arc(utterance_190_a_joyce_1914_11, z_000_190_a_joyce_1914_12, part1).
arc(z_000_190_a_joyce_1914_12, r_0190_0006__and, attrib13).

fof(formula,axiom,
    ? [R_190_2_RESUMED,R_190_1_ELIZA,UTTERANCE_190_A_JOYCE_1914_11,Z_190_A_JOYCE_1914_12,R_190_6_AND,R_190_5_WIDE_HYPHEN_AWAKE,R_190_7_LAUGHING_HYPHEN_LIKE,R_190_9_HIMSELF] :
      ( eliza(R_190_1_ELIZA)
      & wide_hyphen_awake(R_190_5_WIDE_HYPHEN_AWAKE)
      & himself(R_190_9_HIMSELF)
      & resumed(R_190_2_RESUMED,R_190_1_ELIZA,UTTERANCE_190_A_JOYCE_1914_11)
      & ! [R_190_19_SAW,R_190_18_THEY,R_190_20_THAT] :
          ( ( they(R_190_18_THEY)
            & that(R_190_20_THAT)
            & saw(R_190_19_SAW,R_190_18_THEY,R_190_20_THAT) )
         => ? [R_190_23_MADE,R_190_22_THAT,R_190_24_THEM,R_190_12_SO,R_190_13_THEN,R_190_15_OF_COURSE,R_190_25_THINK,X_190_A_JOYCE_1914_70,R_190_26_THAT_THERE_WAS_GONE,R_190_29_SOMETHING,R_190_31_WRONG,R_190_33_HIM] :
              ( that(R_190_22_THAT)
              & them(R_190_24_THEM)
              & so(R_190_12_SO)
              & then(R_190_13_THEN)
              & of_course(R_190_15_OF_COURSE)
              & something(R_190_29_SOMETHING)
              & him(R_190_33_HIM)
              & made(R_190_23_MADE,R_190_22_THAT,R_190_24_THEM,R_190_25_THINK)
              & think(R_190_25_THINK,X_190_A_JOYCE_1914_70,R_190_26_THAT_THERE_WAS_GONE)
              & that_there_was_gone(R_190_26_THAT_THERE_WAS_GONE,R_190_29_SOMETHING,R_190_31_WRONG)
              & wrong(R_190_31_WRONG)
              & with(R_190_31_WRONG,R_190_33_HIM)
              & nim35(R_190_23_MADE,R_190_12_SO)
              & nim38(R_190_23_MADE,R_190_13_THEN)
              & nim43(R_190_23_MADE,R_190_15_OF_COURSE) ) )
      & part2(PART2)
      & utterance_190_a_joyce_1914_11(UTTERANCE_190_A_JOYCE_1914_11)
      & part1(UTTERANCE_190_A_JOYCE_1914_11,Z_190_A_JOYCE_1914_12)
      & z_190_a_joyce_1914_12(Z_190_A_JOYCE_1914_12)
      & attrib13(Z_190_A_JOYCE_1914_12,R_190_6_AND)
      & and(R_190_6_AND)
      & conj1(R_190_6_AND,R_190_5_WIDE_HYPHEN_AWAKE)
      & conj2(R_190_6_AND,R_190_7_LAUGHING_HYPHEN_LIKE)
      & laughing_hyphen_like(R_190_7_LAUGHING_HYPHEN_LIKE)
      & to(R_190_7_LAUGHING_HYPHEN_LIKE,R_190_9_HIMSELF) ) ).

( (IP-MAT (NP-SBJ;{ELIZA} (NPR Eliza;{Eliza}))
          (VBD;_Tr_ resumed;{resume})
          (PUNC :)
          (PULQ <ldquo>)
          (utterance-OB1 (FRAG (ADJP (AJLYR (AJLYR (ADJ Wide_<hyphen>_awake;{wide_awake}))
                                            (CONJP (CONJ and;{and})
                                                   (AJLYR (ADJ laughing_<hyphen>_like;{laughing_like})
                                                          (PP (P-ROLE to;{to})
                                                              (NP;{PRIEST} (PNX himself;{himself})))))))
                               (PUNC ...)
                               (PUNC .))
                         (IP-MAT (ADVP-NIM (ADV So;{so}))
                                 (ADVP-NIM (ADV then;{then}))
                                 (PUNC ,)
                                 (ADVP-NIM (ADV of_course;{of_course}))
                                 (PUNC ,)
                                 (PP-SCON (P-CONN when;{when})
                                          (IP-ADV (NP-SBJ;{PERSONS} (PRO they;{they}))
                                                  (VBD;_Tn_ saw;{see})
                                                  (NP-OB1 (D;_nphd_ that;{that}))))
                                 (PUNC ,)
                                 (NP-SBJ (D;_nphd_ that;{that}))
                                 (VBD;_Cn.i_ made;{make})
                                 (NP-OB1;{PERSONS} (PRO them;{they}))
                                 (IP-INF-PRD (VB;_Tf_ think;{think})
                                             (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                 (EX there;{there})
                                                                 (BED;_ex_cat_VePASS_ was;{be})
                                                                 (NP-ESBJ (D;_nphd_ something;{something}))
                                                                 (IP-PPL-CAT (VVN;_La_ gone;{go})
                                                                             (ADJP-PRD (ADJ wrong;{wrong})
                                                                                       (PP (P-ROLE with;{with})
                                                                                           (NP;{PRIEST} (PRO him;{he}))))))))
                                 (PUNC ....)))
          (PURQ <rdquo>))
  (ID 190_a_joyce_1914))