159_a_joyce_1914
Whenever I'd bring in his soup to him there I'd find him with his breviary fallen to the floor, lying back in the chair and his mouth open.”
n159_a_joyce_1914
n159_a_joyce_1914__1_1_1_1
Whenever
n159_a_joyce_1914__1_1_2_1_1_1
I
n159_a_joyce_1914__1_1_2_2_1
'd
n159_a_joyce_1914__1_1_2_3_1_1
bring
n159_a_joyce_1914__1_1_2_3_2_1
in
n159_a_joyce_1914__1_1_2_3_3_1_1_1
his
n159_a_joyce_1914__1_1_2_3_3_2_1
soup
n159_a_joyce_1914__1_1_2_3_4_1_1
to
n159_a_joyce_1914__1_1_2_3_4_2_1_1
him
n159_a_joyce_1914__1_2_1_1
there
n159_a_joyce_1914__1_3_1_1
I
n159_a_joyce_1914__1_4_1
'd
n159_a_joyce_1914__1_5_1_1
*ICH*-189
n159_a_joyce_1914__1_5_2_1
find
n159_a_joyce_1914__1_5_3_1_1
him
n159_a_joyce_1914__1_5_4_1_1
with
n159_a_joyce_1914__1_5_4_2_1_1_1
his
n159_a_joyce_1914__1_5_4_2_2_1
breviary
n159_a_joyce_1914__1_5_4_2_3_1_1
fallen
n159_a_joyce_1914__1_5_4_2_3_2_1_1
to
n159_a_joyce_1914__1_5_4_2_3_2_2_1_1
the
n159_a_joyce_1914__1_5_4_2_3_2_2_2_1
floor
n159_a_joyce_1914__1_5_5_1
,
n159_a_joyce_1914__1_5_6_1_1_1_1_1
lying
n159_a_joyce_1914__1_5_6_1_1_1_2_1
back
n159_a_joyce_1914__1_5_6_1_1_1_3_1_1
in
n159_a_joyce_1914__1_5_6_1_1_1_3_2_1_1
the
n159_a_joyce_1914__1_5_6_1_1_1_3_2_2_1
chair
n159_a_joyce_1914__1_5_6_1_1_2_1_1
and
n159_a_joyce_1914__1_5_6_1_1_2_2_1_1_1_1
his
n159_a_joyce_1914__1_5_6_1_1_2_2_1_2_1
mouth
n159_a_joyce_1914__1_5_6_1_1_2_2_1_3_1_1
open
n159_a_joyce_1914__1_6_1
.
n159_a_joyce_1914__1_7_1
<rdquo>
n159_a_joyce_1914__1
IP-MAT
n159_a_joyce_1914__1_1
PP-SCON
n159_a_joyce_1914__1->n159_a_joyce_1914__1_1
n159_a_joyce_1914__1_2
ADVP-TPC-189
n159_a_joyce_1914__1->n159_a_joyce_1914__1_2
n159_a_joyce_1914__1_3
NP-SBJ
n159_a_joyce_1914__1->n159_a_joyce_1914__1_3
n159_a_joyce_1914__1_4
MD;_cat_Vi_
n159_a_joyce_1914__1->n159_a_joyce_1914__1_4
n159_a_joyce_1914__1_5
IP-INF-CAT
n159_a_joyce_1914__1->n159_a_joyce_1914__1_5
n159_a_joyce_1914__1_6
PUNC
n159_a_joyce_1914__1->n159_a_joyce_1914__1_6
n159_a_joyce_1914__1_7
PURQ
n159_a_joyce_1914__1->n159_a_joyce_1914__1_7
n159_a_joyce_1914__1_1_1
P-CONN
n159_a_joyce_1914__1_1->n159_a_joyce_1914__1_1_1
n159_a_joyce_1914__1_1_2
IP-ADV
n159_a_joyce_1914__1_1->n159_a_joyce_1914__1_1_2
n159_a_joyce_1914__1_1_1->n159_a_joyce_1914__1_1_1_1
n159_a_joyce_1914__1_1_2_1
NP-SBJ
n159_a_joyce_1914__1_1_2->n159_a_joyce_1914__1_1_2_1
n159_a_joyce_1914__1_1_2_2
MD;_cat_Vi_
n159_a_joyce_1914__1_1_2->n159_a_joyce_1914__1_1_2_2
n159_a_joyce_1914__1_1_2_3
IP-INF-CAT
n159_a_joyce_1914__1_1_2->n159_a_joyce_1914__1_1_2_3
n159_a_joyce_1914__1_1_2_1_1
PRO
n159_a_joyce_1914__1_1_2_1->n159_a_joyce_1914__1_1_2_1_1
n159_a_joyce_1914__1_1_2_1_1->n159_a_joyce_1914__1_1_2_1_1_1
n159_a_joyce_1914__1_1_2_2->n159_a_joyce_1914__1_1_2_2_1
n159_a_joyce_1914__1_1_2_3_1
VB;_phr_Vn<=>p_
n159_a_joyce_1914__1_1_2_3->n159_a_joyce_1914__1_1_2_3_1
n159_a_joyce_1914__1_1_2_3_2
RP
n159_a_joyce_1914__1_1_2_3->n159_a_joyce_1914__1_1_2_3_2
n159_a_joyce_1914__1_1_2_3_3
NP-OB1
n159_a_joyce_1914__1_1_2_3->n159_a_joyce_1914__1_1_2_3_3
n159_a_joyce_1914__1_1_2_3_4
PP-NIM
n159_a_joyce_1914__1_1_2_3->n159_a_joyce_1914__1_1_2_3_4
n159_a_joyce_1914__1_1_2_3_1->n159_a_joyce_1914__1_1_2_3_1_1
n159_a_joyce_1914__1_1_2_3_2->n159_a_joyce_1914__1_1_2_3_2_1
n159_a_joyce_1914__1_1_2_3_3_1
NP-GEN
n159_a_joyce_1914__1_1_2_3_3->n159_a_joyce_1914__1_1_2_3_3_1
n159_a_joyce_1914__1_1_2_3_3_2
N
n159_a_joyce_1914__1_1_2_3_3->n159_a_joyce_1914__1_1_2_3_3_2
n159_a_joyce_1914__1_1_2_3_3_1_1
PRO;_genm_
n159_a_joyce_1914__1_1_2_3_3_1->n159_a_joyce_1914__1_1_2_3_3_1_1
n159_a_joyce_1914__1_1_2_3_3_1_1->n159_a_joyce_1914__1_1_2_3_3_1_1_1
n159_a_joyce_1914__1_1_2_3_3_2->n159_a_joyce_1914__1_1_2_3_3_2_1
n159_a_joyce_1914__1_1_2_3_4_1
P-ROLE
n159_a_joyce_1914__1_1_2_3_4->n159_a_joyce_1914__1_1_2_3_4_1
n159_a_joyce_1914__1_1_2_3_4_2
NP
n159_a_joyce_1914__1_1_2_3_4->n159_a_joyce_1914__1_1_2_3_4_2
n159_a_joyce_1914__1_1_2_3_4_1->n159_a_joyce_1914__1_1_2_3_4_1_1
n159_a_joyce_1914__1_1_2_3_4_2_1
PRO
n159_a_joyce_1914__1_1_2_3_4_2->n159_a_joyce_1914__1_1_2_3_4_2_1
n159_a_joyce_1914__1_1_2_3_4_2_1->n159_a_joyce_1914__1_1_2_3_4_2_1_1
n159_a_joyce_1914__1_2_1
ADV
n159_a_joyce_1914__1_2->n159_a_joyce_1914__1_2_1
n159_a_joyce_1914__1_2_1->n159_a_joyce_1914__1_2_1_1
n159_a_joyce_1914__1_3_1
PRO
n159_a_joyce_1914__1_3->n159_a_joyce_1914__1_3_1
n159_a_joyce_1914__1_3_1->n159_a_joyce_1914__1_3_1_1
n159_a_joyce_1914__1_4->n159_a_joyce_1914__1_4_1
n159_a_joyce_1914__1_5_1
ADVP-NIM
n159_a_joyce_1914__1_5->n159_a_joyce_1914__1_5_1
n159_a_joyce_1914__1_5_2
VB;_Tn_
n159_a_joyce_1914__1_5->n159_a_joyce_1914__1_5_2
n159_a_joyce_1914__1_5_3
NP-OB1
n159_a_joyce_1914__1_5->n159_a_joyce_1914__1_5_3
n159_a_joyce_1914__1_5_4
PP-NIM
n159_a_joyce_1914__1_5->n159_a_joyce_1914__1_5_4
n159_a_joyce_1914__1_5_5
PUNC
n159_a_joyce_1914__1_5->n159_a_joyce_1914__1_5_5
n159_a_joyce_1914__1_5_6
PP-SCON
n159_a_joyce_1914__1_5->n159_a_joyce_1914__1_5_6
n159_a_joyce_1914__1_5_1->n159_a_joyce_1914__1_5_1_1
n159_a_joyce_1914__1_5_2->n159_a_joyce_1914__1_5_2_1
n159_a_joyce_1914__1_5_3_1
PRO
n159_a_joyce_1914__1_5_3->n159_a_joyce_1914__1_5_3_1
n159_a_joyce_1914__1_5_3_1->n159_a_joyce_1914__1_5_3_1_1
n159_a_joyce_1914__1_5_4_1
P-ROLE
n159_a_joyce_1914__1_5_4->n159_a_joyce_1914__1_5_4_1
n159_a_joyce_1914__1_5_4_2
NP
n159_a_joyce_1914__1_5_4->n159_a_joyce_1914__1_5_4_2
n159_a_joyce_1914__1_5_4_1->n159_a_joyce_1914__1_5_4_1_1
n159_a_joyce_1914__1_5_4_2_1
NP-GEN
n159_a_joyce_1914__1_5_4_2->n159_a_joyce_1914__1_5_4_2_1
n159_a_joyce_1914__1_5_4_2_2
N
n159_a_joyce_1914__1_5_4_2->n159_a_joyce_1914__1_5_4_2_2
n159_a_joyce_1914__1_5_4_2_3
IP-PPL
n159_a_joyce_1914__1_5_4_2->n159_a_joyce_1914__1_5_4_2_3
n159_a_joyce_1914__1_5_4_2_1_1
PRO;_genm_
n159_a_joyce_1914__1_5_4_2_1->n159_a_joyce_1914__1_5_4_2_1_1
n159_a_joyce_1914__1_5_4_2_1_1->n159_a_joyce_1914__1_5_4_2_1_1_1
n159_a_joyce_1914__1_5_4_2_2->n159_a_joyce_1914__1_5_4_2_2_1
n159_a_joyce_1914__1_5_4_2_3_1
VVN;_I_
n159_a_joyce_1914__1_5_4_2_3->n159_a_joyce_1914__1_5_4_2_3_1
n159_a_joyce_1914__1_5_4_2_3_2
PP-NIM
n159_a_joyce_1914__1_5_4_2_3->n159_a_joyce_1914__1_5_4_2_3_2
n159_a_joyce_1914__1_5_4_2_3_1->n159_a_joyce_1914__1_5_4_2_3_1_1
n159_a_joyce_1914__1_5_4_2_3_2_1
P-ROLE
n159_a_joyce_1914__1_5_4_2_3_2->n159_a_joyce_1914__1_5_4_2_3_2_1
n159_a_joyce_1914__1_5_4_2_3_2_2
NP
n159_a_joyce_1914__1_5_4_2_3_2->n159_a_joyce_1914__1_5_4_2_3_2_2
n159_a_joyce_1914__1_5_4_2_3_2_1->n159_a_joyce_1914__1_5_4_2_3_2_1_1
n159_a_joyce_1914__1_5_4_2_3_2_2_1
D
n159_a_joyce_1914__1_5_4_2_3_2_2->n159_a_joyce_1914__1_5_4_2_3_2_2_1
n159_a_joyce_1914__1_5_4_2_3_2_2_2
N
n159_a_joyce_1914__1_5_4_2_3_2_2->n159_a_joyce_1914__1_5_4_2_3_2_2_2
n159_a_joyce_1914__1_5_4_2_3_2_2_1->n159_a_joyce_1914__1_5_4_2_3_2_2_1_1
n159_a_joyce_1914__1_5_4_2_3_2_2_2->n159_a_joyce_1914__1_5_4_2_3_2_2_2_1
n159_a_joyce_1914__1_5_5->n159_a_joyce_1914__1_5_5_1
n159_a_joyce_1914__1_5_6_1
IP-PPL
n159_a_joyce_1914__1_5_6->n159_a_joyce_1914__1_5_6_1
n159_a_joyce_1914__1_5_6_1_1
ILYR
n159_a_joyce_1914__1_5_6_1->n159_a_joyce_1914__1_5_6_1_1
n159_a_joyce_1914__1_5_6_1_1_1
ILYR
n159_a_joyce_1914__1_5_6_1_1->n159_a_joyce_1914__1_5_6_1_1_1
n159_a_joyce_1914__1_5_6_1_1_2
CONJP
n159_a_joyce_1914__1_5_6_1_1->n159_a_joyce_1914__1_5_6_1_1_2
n159_a_joyce_1914__1_5_6_1_1_1_1
VAG;_Ip_
n159_a_joyce_1914__1_5_6_1_1_1->n159_a_joyce_1914__1_5_6_1_1_1_1
n159_a_joyce_1914__1_5_6_1_1_1_2
RP
n159_a_joyce_1914__1_5_6_1_1_1->n159_a_joyce_1914__1_5_6_1_1_1_2
n159_a_joyce_1914__1_5_6_1_1_1_3
PP-NIM
n159_a_joyce_1914__1_5_6_1_1_1->n159_a_joyce_1914__1_5_6_1_1_1_3
n159_a_joyce_1914__1_5_6_1_1_1_1->n159_a_joyce_1914__1_5_6_1_1_1_1_1
n159_a_joyce_1914__1_5_6_1_1_1_2->n159_a_joyce_1914__1_5_6_1_1_1_2_1
n159_a_joyce_1914__1_5_6_1_1_1_3_1
P-ROLE
n159_a_joyce_1914__1_5_6_1_1_1_3->n159_a_joyce_1914__1_5_6_1_1_1_3_1
n159_a_joyce_1914__1_5_6_1_1_1_3_2
NP
n159_a_joyce_1914__1_5_6_1_1_1_3->n159_a_joyce_1914__1_5_6_1_1_1_3_2
n159_a_joyce_1914__1_5_6_1_1_1_3_1->n159_a_joyce_1914__1_5_6_1_1_1_3_1_1
n159_a_joyce_1914__1_5_6_1_1_1_3_2_1
D
n159_a_joyce_1914__1_5_6_1_1_1_3_2->n159_a_joyce_1914__1_5_6_1_1_1_3_2_1
n159_a_joyce_1914__1_5_6_1_1_1_3_2_2
N
n159_a_joyce_1914__1_5_6_1_1_1_3_2->n159_a_joyce_1914__1_5_6_1_1_1_3_2_2
n159_a_joyce_1914__1_5_6_1_1_1_3_2_1->n159_a_joyce_1914__1_5_6_1_1_1_3_2_1_1
n159_a_joyce_1914__1_5_6_1_1_1_3_2_2->n159_a_joyce_1914__1_5_6_1_1_1_3_2_2_1
n159_a_joyce_1914__1_5_6_1_1_2_1
CONJ
n159_a_joyce_1914__1_5_6_1_1_2->n159_a_joyce_1914__1_5_6_1_1_2_1
n159_a_joyce_1914__1_5_6_1_1_2_2
ILYR
n159_a_joyce_1914__1_5_6_1_1_2->n159_a_joyce_1914__1_5_6_1_1_2_2
n159_a_joyce_1914__1_5_6_1_1_2_1->n159_a_joyce_1914__1_5_6_1_1_2_1_1
n159_a_joyce_1914__1_5_6_1_1_2_2_1
NP-NIM
n159_a_joyce_1914__1_5_6_1_1_2_2->n159_a_joyce_1914__1_5_6_1_1_2_2_1
n159_a_joyce_1914__1_5_6_1_1_2_2_1_1
NP-GEN
n159_a_joyce_1914__1_5_6_1_1_2_2_1->n159_a_joyce_1914__1_5_6_1_1_2_2_1_1
n159_a_joyce_1914__1_5_6_1_1_2_2_1_2
N
n159_a_joyce_1914__1_5_6_1_1_2_2_1->n159_a_joyce_1914__1_5_6_1_1_2_2_1_2
n159_a_joyce_1914__1_5_6_1_1_2_2_1_3
ADJP
n159_a_joyce_1914__1_5_6_1_1_2_2_1->n159_a_joyce_1914__1_5_6_1_1_2_2_1_3
n159_a_joyce_1914__1_5_6_1_1_2_2_1_1_1
PRO;_genm_
n159_a_joyce_1914__1_5_6_1_1_2_2_1_1->n159_a_joyce_1914__1_5_6_1_1_2_2_1_1_1
n159_a_joyce_1914__1_5_6_1_1_2_2_1_1_1->n159_a_joyce_1914__1_5_6_1_1_2_2_1_1_1_1
n159_a_joyce_1914__1_5_6_1_1_2_2_1_2->n159_a_joyce_1914__1_5_6_1_1_2_2_1_2_1
n159_a_joyce_1914__1_5_6_1_1_2_2_1_3_1
ADJ
n159_a_joyce_1914__1_5_6_1_1_2_2_1_3->n159_a_joyce_1914__1_5_6_1_1_2_2_1_3_1
n159_a_joyce_1914__1_5_6_1_1_2_2_1_3_1->n159_a_joyce_1914__1_5_6_1_1_2_2_1_3_1_1
n159_a_joyce_1914__1_6->n159_a_joyce_1914__1_6_1
n159_a_joyce_1914__1_7->n159_a_joyce_1914__1_7_1
( (IP-MAT (PP-SCON (P-CONN Whenever;{whenever})
(IP-ADV (NP-SBJ;{ELIZA} (PRO I;{I}))
(MD;_cat_Vi_ <apos>d;{will})
(IP-INF-CAT (VB;_phr_Vn<=>p_ bring;{bring[in]})
(RP in;{in})
(NP-OB1 (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
(N soup;{soup}))
(PP-NIM (P-ROLE to;{to})
(NP;{PRIEST} (PRO him;{he}))))))
(ADVP-TPC-189 (ADV there;{there}))
(NP-SBJ;{ELIZA} (PRO I;{I}))
(MD;_cat_Vi_ <apos>d;{will})
(IP-INF-CAT (ADVP-NIM *ICH*-189)
(VB;_Tn_ find;{find})
(NP-OB1;{PRIEST} (PRO him;{he}))
(PP-NIM (P-ROLE with;{with})
(NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
(N breviary;{breviary})
(IP-PPL (VVN;_I_ fallen;{fall})
(PP-NIM (P-ROLE to;{to})
(NP (D the;{the})
(N floor;{floor}))))))
(PUNC ,)
(PP-SCON (IP-PPL (ILYR (ILYR (VAG;_Ip_ lying;{lie[back]})
(RP back;{back})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N chair;{chair}))))
(CONJP (CONJ and;{and})
(ILYR (NP-NIM (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
(N mouth;{mouth})
(ADJP (ADJ open;{open})))))))))
(PUNC .)
(PURQ <rdquo>))
(ID 159_a_joyce_1914))
%3
z_0159_5018
r_0159_0030__mouth
mouth
z_0159_5018->r_0159_0030__mouth
[nim]
r_0159_0006__his
his
z_0159_5018->r_0159_0006__his
[arg0]
r_0159_0030__mouth->r_0159_0006__his
[gen]
r_0159_0031__open
open
r_0159_0030__mouth->r_0159_0031__open
[attrib]
z_0159_5011
r_0159_0028__and
and
z_0159_5011->r_0159_0028__and
[restriction]
r_0159_0013__find
find
z_0159_5011->r_0159_0013__find
[scope]
r_0159_0028__and->z_0159_5018
[conj2]
r_0159_0023__lying_r_0159_0024__back
lying back
r_0159_0028__and->r_0159_0023__lying_r_0159_0024__back
[conj1]
r_0159_0013__find->r_0159_0006__his
[arg1]
r_0159_0017__breviary
breviary
r_0159_0013__find->r_0159_0017__breviary
with [nim]
r_0159_0010__there
there
r_0159_0013__find->r_0159_0010__there
[nim]
r_0159_0002__I
I
r_0159_0013__find->r_0159_0002__I
[arg0]
r_0159_0023__lying_r_0159_0024__back->r_0159_0006__his
[arg0]
r_0159_0026__the_r_0159_0027__chair
the chair
r_0159_0023__lying_r_0159_0024__back->r_0159_0026__the_r_0159_0027__chair
in [nim]
r_0159_0018__fallen
fallen
r_0159_0020__the_r_0159_0021__floor
the floor
r_0159_0018__fallen->r_0159_0020__the_r_0159_0021__floor
to [nim]
r_0159_0018__fallen->r_0159_0017__breviary
[inv_arg0]
r_0159_0017__breviary->r_0159_0006__his
[gen]
r_0159_0012___apos_d
'd
r_0159_0012___apos_d->z_0159_5011
[scope]
r_0159_0007__soup
soup
r_0159_0007__soup->r_0159_0006__his
[gen]
r_0159_0004__bring_r_0159_0005__in
bring in
r_0159_0004__bring_r_0159_0005__in->r_0159_0006__his
to [nim]
r_0159_0004__bring_r_0159_0005__in->r_0159_0002__I
[arg0]
r_0159_0004__bring_r_0159_0005__in->r_0159_0007__soup
[arg1]
r_0159_0003___apos_d
'd
r_0159_0003___apos_d->r_0159_0004__bring_r_0159_0005__in
[scope]
r_0159_0001__Whenever
Whenever
r_0159_0001__Whenever->r_0159_0012___apos_d
[scope]
r_0159_0001__Whenever->r_0159_0003___apos_d
[restriction]
arc(r_0159_0001__Whenever,r_0159_0003___apos_d,restriction).
arc(r_0159_0001__Whenever,r_0159_0012___apos_d,scope).
arc(r_0159_0003___apos_d,r_0159_0004__bring_r_0159_0005__in,scope).
arc(r_0159_0004__bring_r_0159_0005__in,r_0159_0002__I,arg0).
arc(r_0159_0004__bring_r_0159_0005__in,r_0159_0006__his,r_0159_0008__to__nim).
arc(r_0159_0004__bring_r_0159_0005__in,r_0159_0007__soup,arg1).
arc(r_0159_0007__soup,r_0159_0006__his,gen).
arc(r_0159_0012___apos_d,z_0159_5011,scope).
arc(r_0159_0013__find,r_0159_0002__I,arg0).
arc(r_0159_0013__find,r_0159_0006__his,arg1).
arc(r_0159_0013__find,r_0159_0010__there,nim).
arc(r_0159_0013__find,r_0159_0017__breviary,r_0159_0015__with__nim).
arc(r_0159_0017__breviary,r_0159_0006__his,gen).
arc(r_0159_0018__fallen,r_0159_0017__breviary,inv_arg0).
arc(r_0159_0018__fallen,r_0159_0020__the_r_0159_0021__floor,r_0159_0019__to__nim).
arc(r_0159_0023__lying_r_0159_0024__back,r_0159_0006__his,arg0).
arc(r_0159_0023__lying_r_0159_0024__back,r_0159_0026__the_r_0159_0027__chair,r_0159_0025__in__nim).
arc(r_0159_0028__and,r_0159_0023__lying_r_0159_0024__back,conj1).
arc(r_0159_0028__and,z_0159_5018,conj2).
arc(r_0159_0030__mouth,r_0159_0006__his,gen).
arc(r_0159_0030__mouth,r_0159_0031__open,attrib).
arc(z_0159_5011,r_0159_0013__find,scope).
arc(z_0159_5011,r_0159_0028__and,restriction).
arc(z_0159_5018,r_0159_0006__his,arg0).
arc(z_0159_5018,r_0159_0030__mouth,nim).
%3
r_0159_0001__Whenever
Whenever
r_0159_0003___apos_d_r_0159_0004__bring_r_0159_0005__in
'd bring in
r_0159_0001__Whenever->r_0159_0003___apos_d_r_0159_0004__bring_r_0159_0005__in
[restriction]
r_0159_0012___apos_d
'd
r_0159_0001__Whenever->r_0159_0012___apos_d
[scope]
r_0159_0002__I
I
r_0159_0003___apos_d_r_0159_0004__bring_r_0159_0005__in->r_0159_0002__I
[arg0]
r_0159_0006__his
his
r_0159_0003___apos_d_r_0159_0004__bring_r_0159_0005__in->r_0159_0006__his
to [nim]
r_0159_0007__soup
soup
r_0159_0003___apos_d_r_0159_0004__bring_r_0159_0005__in->r_0159_0007__soup
[arg1]
z_0159_5011
r_0159_0012___apos_d->z_0159_5011
[keep_scope]
r_0159_0007__soup->r_0159_0006__his
[gen]
r_0159_0013__find
find
r_0159_0013__find->r_0159_0002__I
[arg0]
r_0159_0013__find->r_0159_0006__his
[arg1]
r_0159_0010__there
there
r_0159_0013__find->r_0159_0010__there
[nim]
r_0159_0017__breviary
breviary
r_0159_0013__find->r_0159_0017__breviary
with [nim]
r_0159_0017__breviary->r_0159_0006__his
[gen]
r_0159_0018__fallen
fallen
r_0159_0017__breviary->r_0159_0018__fallen
[inv_arg0]
r_0159_0020__the_r_0159_0021__floor
the floor
r_0159_0018__fallen->r_0159_0020__the_r_0159_0021__floor
to [nim]
r_0159_0023__lying_r_0159_0024__back
lying back
r_0159_0023__lying_r_0159_0024__back->r_0159_0006__his
[arg0]
r_0159_0026__the_r_0159_0027__chair
the chair
r_0159_0023__lying_r_0159_0024__back->r_0159_0026__the_r_0159_0027__chair
in [nim]
r_0159_0028__and
and
r_0159_0028__and->r_0159_0023__lying_r_0159_0024__back
[conj1]
z_0159_5018
r_0159_0028__and->z_0159_5018
[conj2]
z_0159_5018->r_0159_0006__his
[arg0]
r_0159_0030__mouth
mouth
z_0159_5018->r_0159_0030__mouth
[nim]
r_0159_0030__mouth->r_0159_0006__his
[gen]
r_0159_0031__open
open
r_0159_0030__mouth->r_0159_0031__open
[attrib]
z_0159_5011->r_0159_0013__find
[conj2]
z_0159_5011->r_0159_0028__and
[conj1]
fof(formula,axiom,
! [R_0159_0003___APOS_D_R_0159_0004__BRING_R_0159_0005__IN,R_0159_0002__I,R_0159_0006__HIS,R_0159_0007__SOUP] :
( ( r_0159_0002__I(R_0159_0002__I)
& r_0159_0006__his(R_0159_0006__HIS)
& r_0159_0003___apos_d_r_0159_0004__bring_r_0159_0005__in(R_0159_0003___APOS_D_R_0159_0004__BRING_R_0159_0005__IN)
& has_arg1(R_0159_0003___APOS_D_R_0159_0004__BRING_R_0159_0005__IN,R_0159_0007__SOUP)
& r_0159_0007__soup(R_0159_0007__SOUP)
& has_gen(R_0159_0007__SOUP,R_0159_0006__HIS)
& has_r_0159_0008__to__nim(R_0159_0003___APOS_D_R_0159_0004__BRING_R_0159_0005__IN,R_0159_0006__HIS)
& has_arg0(R_0159_0003___APOS_D_R_0159_0004__BRING_R_0159_0005__IN,R_0159_0002__I) )
=> ? [R_0159_0010__THERE,R_0159_0020__THE_R_0159_0021__FLOOR,R_0159_0018__FALLEN,R_0159_0017__BREVIARY,R_0159_0013__FIND,R_0159_0026__THE_R_0159_0027__CHAIR,R_0159_0023__LYING_R_0159_0024__BACK,R_0159_0031__OPEN,R_0159_0030__MOUTH,Z_0159_5018,R_0159_0028__AND,Z_0159_5011,R_0159_0012___APOS_D] :
( r_0159_0010__there(R_0159_0010__THERE)
& r_0159_0020__the_r_0159_0021__floor(R_0159_0020__THE_R_0159_0021__FLOOR)
& r_0159_0026__the_r_0159_0027__chair(R_0159_0026__THE_R_0159_0027__CHAIR)
& r_0159_0031__open(R_0159_0031__OPEN)
& r_0159_0012___apos_d(R_0159_0012___APOS_D)
& has_keep_scope(R_0159_0012___APOS_D,Z_0159_5011)
& z_0159_5011(Z_0159_5011)
& has_conj1(Z_0159_5011,R_0159_0028__AND)
& r_0159_0028__and(R_0159_0028__AND)
& has_conj2(R_0159_0028__AND,Z_0159_5018)
& z_0159_5018(Z_0159_5018)
& has_nim(Z_0159_5018,R_0159_0030__MOUTH)
& r_0159_0030__mouth(R_0159_0030__MOUTH)
& has_attrib(R_0159_0030__MOUTH,R_0159_0031__OPEN)
& has_gen(R_0159_0030__MOUTH,R_0159_0006__HIS)
& has_arg0(Z_0159_5018,R_0159_0006__HIS)
& has_conj1(R_0159_0028__AND,R_0159_0023__LYING_R_0159_0024__BACK)
& r_0159_0023__lying_r_0159_0024__back(R_0159_0023__LYING_R_0159_0024__BACK)
& has_r_0159_0025__in__nim(R_0159_0023__LYING_R_0159_0024__BACK,R_0159_0026__THE_R_0159_0027__CHAIR)
& has_arg0(R_0159_0023__LYING_R_0159_0024__BACK,R_0159_0006__HIS)
& has_conj2(Z_0159_5011,R_0159_0013__FIND)
& r_0159_0013__find(R_0159_0013__FIND)
& has_r_0159_0015__with__nim(R_0159_0013__FIND,R_0159_0017__BREVIARY)
& r_0159_0017__breviary(R_0159_0017__BREVIARY)
& has_inv_arg0(R_0159_0017__BREVIARY,R_0159_0018__FALLEN)
& r_0159_0018__fallen(R_0159_0018__FALLEN)
& has_r_0159_0019__to__nim(R_0159_0018__FALLEN,R_0159_0020__THE_R_0159_0021__FLOOR)
& has_gen(R_0159_0017__BREVIARY,R_0159_0006__HIS)
& has_nim(R_0159_0013__FIND,R_0159_0010__THERE)
& has_arg1(R_0159_0013__FIND,R_0159_0006__HIS)
& has_arg0(R_0159_0013__FIND,R_0159_0002__I) ) ) ).