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