181_a_joyce_1914
“After that he began to mope by himself, talking to no one and wandering about by himself.
( (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 181_a_joyce_1914))
arc(r_0181_0005__began,r_0181_0003__that,r_0181_0002__After__nim).
arc(r_0181_0005__began,r_0181_0007__mope,scope).
arc(r_0181_0007__mope,r_0181_0004__he,arg0).
arc(r_0181_0007__mope,r_0181_0004__he,r_0181_0008__by__nim).
arc(r_0181_0011__talking_r_0181_0012__to,r_0181_0004__he,arg0).
arc(r_0181_0011__talking_r_0181_0012__to,r_0181_0014__one,arg1).
arc(r_0181_0013__no__quant,r_0181_0011__talking_r_0181_0012__to,scope).
arc(r_0181_0013__no__quant,r_0181_0014__one,restriction).
arc(r_0181_0015__and,r_0181_0013__no__quant,conj1).
arc(r_0181_0015__and,r_0181_0016__wandering_r_0181_0017__about,conj2).
arc(r_0181_0016__wandering_r_0181_0017__about,r_0181_0004__he,arg0).
arc(r_0181_0016__wandering_r_0181_0017__about,r_0181_0004__he,r_0181_0018__by__nim).
arc(z_0181_5001,r_0181_0005__began,scope).
arc(z_0181_5001,r_0181_0015__and,restriction).
fof(formula,axiom,
? [R_0181_0003__THAT,R_0181_0004__HE,R_0181_0005__BEGAN_R_0181_0007__MOPE,R_0181_0016__WANDERING_R_0181_0017__ABOUT,R_0181_0015__AND,Z_0181_5001] :
( r_0181_0003__that(R_0181_0003__THAT)
& r_0181_0004__he(R_0181_0004__HE)
& z_0181_5001(Z_0181_5001)
& has_conj1(Z_0181_5001,R_0181_0015__AND)
& r_0181_0015__and(R_0181_0015__AND)
& has_conj2(R_0181_0015__AND,R_0181_0016__WANDERING_R_0181_0017__ABOUT)
& r_0181_0016__wandering_r_0181_0017__about(R_0181_0016__WANDERING_R_0181_0017__ABOUT)
& has_r_0181_0018__by__nim(R_0181_0016__WANDERING_R_0181_0017__ABOUT,R_0181_0004__HE)
& has_arg0(R_0181_0016__WANDERING_R_0181_0017__ABOUT,R_0181_0004__HE)
& ! [R_0181_0014__ONE] :
( r_0181_0014__one(R_0181_0014__ONE)
=> ? [R_0181_0011__TALKING_R_0181_0012__TO] :
( r_0181_0011__talking_r_0181_0012__to(R_0181_0011__TALKING_R_0181_0012__TO)
& has_arg1(R_0181_0011__TALKING_R_0181_0012__TO,R_0181_0014__ONE)
& has_arg0(R_0181_0011__TALKING_R_0181_0012__TO,R_0181_0004__HE) ) )
& has_conj2(Z_0181_5001,R_0181_0005__BEGAN_R_0181_0007__MOPE)
& r_0181_0005__began_r_0181_0007__mope(R_0181_0005__BEGAN_R_0181_0007__MOPE)
& has_r_0181_0008__by__nim(R_0181_0005__BEGAN_R_0181_0007__MOPE,R_0181_0004__HE)
& has_arg0(R_0181_0005__BEGAN_R_0181_0007__MOPE,R_0181_0004__HE)
& has_r_0181_0002__After__nim(R_0181_0005__BEGAN_R_0181_0007__MOPE,R_0181_0003__THAT) ) ).