TSPC 182_a_joyce

182_a_joyce_1914
“After that he began to mope by himself, talking to no one and wandering about by himself.

arc(r_0182_0005__began, r_0182_0003__that, r_0182_0002__After_nim7).
arc(r_0182_0005__began, r_0182_0006__to_r_0182_0007__mope, scope).
arc(r_0182_0006__to_r_0182_0007__mope, r_0182_0004__he, arg0).
arc(r_0182_0006__to_r_0182_0007__mope, r_0182_0004__he, r_0182_0008__by_nim23).
arc(r_0182_0011__talking, r_0182_0004__he, arg0).
arc(r_0182_0011__talking, r_0182_0014__one, r_0182_0012__to_clr37).
arc(r_0182_0013__no_quant, r_0182_0011__talking, scope).
arc(r_0182_0013__no_quant, r_0182_0014__one, restriction).
arc(r_0182_0015__and, r_0182_0013__no_quant, conj1).
arc(r_0182_0015__and, r_0182_0016__wandering, conj2).
arc(r_0182_0016__wandering, r_0182_0004__he, arg0).
arc(r_0182_0016__wandering, r_0182_0004__he, r_0182_0018__by_nim54).
arc(r_0182_0016__wandering, r_0182_0017__about, clr48).
arc(z_000_182_a_joyce_1914_28, r_0182_0005__began, scope).
arc(z_000_182_a_joyce_1914_28, r_0182_0015__and, restriction).

fof(formula,axiom,
    ? [Z_182_A_JOYCE_1914_28,R_182_15_AND,R_182_16_WANDERING,R_182_17_ABOUT,R_182_5_BEGAN_TO_MOPE,R_182_3_THAT,R_182_4_HE] :
      ( about(R_182_17_ABOUT)
      & that(R_182_3_THAT)
      & he(R_182_4_HE)
      & z_182_a_joyce_1914_28(Z_182_A_JOYCE_1914_28)
      & conj1(Z_182_A_JOYCE_1914_28,R_182_15_AND)
      & ! [R_182_14_ONE] :
          ( one(R_182_14_ONE)
         => ? [R_182_11_TALKING] :
              ( talking(R_182_11_TALKING,R_182_4_HE)
              & to_clr37(R_182_11_TALKING,R_182_14_ONE) ) )
      & conj1(CONJ1)
      & and(R_182_15_AND)
      & conj2(R_182_15_AND,R_182_16_WANDERING)
      & wandering(R_182_16_WANDERING,R_182_4_HE)
      & clr48(R_182_16_WANDERING,R_182_17_ABOUT)
      & by_nim54(R_182_16_WANDERING,R_182_4_HE)
      & conj2(Z_182_A_JOYCE_1914_28,R_182_5_BEGAN_TO_MOPE)
      & began_to_mope(R_182_5_BEGAN_TO_MOPE,R_182_4_HE)
      & after_nim7(R_182_5_BEGAN_TO_MOPE,R_182_3_THAT)
      & by_nim23(R_182_5_BEGAN_TO_MOPE,R_182_4_HE) ) ).

( (IP-MAT (PULQ <ldquo>)
          (PP-NIM (P-ROLE After;{after})
                  (NP (D;_nphd_ that;{that})))
          (NP-SBJ;{PRIEST} (PRO he;{he}))
          (VBD;_cat_Vt_ began;{begin})
          (IP-INF-CAT (TO to;{to})
                      (VB;_I_ mope;{mope})
                      (PP-NIM (P-ROLE by;{by})
                              (NP;{PRIEST} (PNX himself;{himself}))))
          (PUNC ,)
          (PP-SCON (IP-PPL (ILYR (ILYR (VAG;_Ipr_ talking;{talk[to]})
                                       (PP-CLR (P-ROLE to;{to})
                                               (NP (Q no;{no})
                                                   (N one;{one}))))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (VAG;_Ip_ wandering;{wander[about]})
                                              (ADVP-CLR (RP about;{about}))
                                              (PP-NIM (P-ROLE by;{by})
                                                      (NP;{PRIEST} (PNX himself;{himself}))))))))
          (PUNC .))
  (ID 182_a_joyce_1914))