TSPC 190_a_joyce

190_a_joyce_1914
Eliza resumed: “Wide-awake and laughing-like to himself.... So then, of course, when they saw that, that made them think that there was something gone wrong with him....”

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(r_0190_0002__resumed, utterance_190_a_joyce_1914_11, arg1).
arc(r_0190_0002__resumed, r_0190_0001__Eliza, arg0).
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(z_000_190_a_joyce_1914_12, r_0190_0006__and, attrib13).

fof(formula,axiom,
    ? [R_0190_0005__WIDE__HYPHEN__AWAKE,R_0190_0009__HIMSELF,R_0190_0007__LAUGHING__HYPHEN__LIKE,R_0190_0006__AND,Z_000_190_A_JOYCE_1914_12,UTTERANCE_190_A_JOYCE_1914_11,R_0190_0001__ELIZA,R_0190_0002__RESUMED] :
      ( r_0190_0001__Eliza(R_0190_0001__ELIZA)
      & r_0190_0005__Wide__hyphen__awake(R_0190_0005__WIDE__HYPHEN__AWAKE)
      & r_0190_0009__himself(R_0190_0009__HIMSELF)
      & r_0190_0002__resumed(R_0190_0002__RESUMED)
      & has_arg0(R_0190_0002__RESUMED,R_0190_0001__ELIZA)
      & has_arg1(R_0190_0002__RESUMED,UTTERANCE_190_A_JOYCE_1914_11)
      & utterance_190_a_joyce_1914_11(UTTERANCE_190_A_JOYCE_1914_11)
      & has_part1(UTTERANCE_190_A_JOYCE_1914_11,Z_000_190_A_JOYCE_1914_12)
      & z_000_190_a_joyce_1914_12(Z_000_190_A_JOYCE_1914_12)
      & has_attrib13(Z_000_190_A_JOYCE_1914_12,R_0190_0006__AND)
      & r_0190_0006__and(R_0190_0006__AND)
      & has_conj2(R_0190_0006__AND,R_0190_0007__LAUGHING__HYPHEN__LIKE)
      & r_0190_0007__laughing__hyphen__like(R_0190_0007__LAUGHING__HYPHEN__LIKE)
      & has_r_0190_0008__to(R_0190_0007__LAUGHING__HYPHEN__LIKE,R_0190_0009__HIMSELF)
      & has_conj1(R_0190_0006__AND,R_0190_0005__WIDE__HYPHEN__AWAKE)
      & ! [R_0190_0019__SAW,R_0190_0018__THEY,R_0190_0020__THAT] :
          ( ( r_0190_0018__they(R_0190_0018__THEY)
            & r_0190_0020__that(R_0190_0020__THAT)
            & r_0190_0019__saw(R_0190_0019__SAW)
            & has_arg1(R_0190_0019__SAW,R_0190_0020__THAT)
            & has_arg0(R_0190_0019__SAW,R_0190_0018__THEY) )
         => ? [R_0190_0012__SO,R_0190_0013__THEN,R_0190_0015__OF_COURSE,R_0190_0022__THAT,R_0190_0024__THEM,R_0190_0029__SOMETHING,R_0190_0033__HIM,R_0190_0031__WRONG,R_0190_0026__THAT_R_0190_0027__THERE_R_0190_0028__WAS_R_0190_0030__GONE,X_000_190_A_JOYCE_1914_70,R_0190_0025__THINK,R_0190_0023__MADE] :
              ( r_0190_0012__So(R_0190_0012__SO)
              & r_0190_0013__then(R_0190_0013__THEN)
              & r_0190_0015__of_course(R_0190_0015__OF_COURSE)
              & r_0190_0022__that(R_0190_0022__THAT)
              & r_0190_0024__them(R_0190_0024__THEM)
              & r_0190_0029__something(R_0190_0029__SOMETHING)
              & r_0190_0033__him(R_0190_0033__HIM)
              & x_000_190_a_joyce_1914_70(X_000_190_A_JOYCE_1914_70)
              & r_0190_0023__made(R_0190_0023__MADE)
              & has_prd(R_0190_0023__MADE,R_0190_0025__THINK)
              & r_0190_0025__think(R_0190_0025__THINK)
              & has_arg0(R_0190_0025__THINK,X_000_190_A_JOYCE_1914_70)
              & has_arg1(R_0190_0025__THINK,R_0190_0026__THAT_R_0190_0027__THERE_R_0190_0028__WAS_R_0190_0030__GONE)
              & r_0190_0026__that_r_0190_0027__there_r_0190_0028__was_r_0190_0030__gone(R_0190_0026__THAT_R_0190_0027__THERE_R_0190_0028__WAS_R_0190_0030__GONE)
              & has_prd(R_0190_0026__THAT_R_0190_0027__THERE_R_0190_0028__WAS_R_0190_0030__GONE,R_0190_0031__WRONG)
              & r_0190_0031__wrong(R_0190_0031__WRONG)
              & has_r_0190_0032__with(R_0190_0031__WRONG,R_0190_0033__HIM)
              & has_arg0(R_0190_0026__THAT_R_0190_0027__THERE_R_0190_0028__WAS_R_0190_0030__GONE,R_0190_0029__SOMETHING)
              & has_arg1(R_0190_0023__MADE,R_0190_0024__THEM)
              & has_arg0(R_0190_0023__MADE,R_0190_0022__THAT)
              & has_nim43(R_0190_0023__MADE,R_0190_0015__OF_COURSE)
              & has_nim38(R_0190_0023__MADE,R_0190_0013__THEN)
              & has_nim35(R_0190_0023__MADE,R_0190_0012__SO) ) ) ) ).

( (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))