175_a_joyce_1914
Eliza seemed to have fallen into a deep revery.
( (IP-MAT (NP-SBJ;{ELIZA} (NPR Eliza;{Eliza}))
(VBD;_cat_Vt_ seemed;{seem})
(IP-INF-CAT (TO to;{to})
(HV;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;_Ipr_ fallen;{fall[into]})
(PP-CLR (P-ROLE into;{into})
(NP (D a;{a})
(ADJP (ADJ deep;{deep}))
(N revery;{revery})))))
(PUNC .))
(ID 175_a_joyce_1914))
arc(r_0175_0002__seemed,r_0175_0004__have,scope).
arc(r_0175_0004__have,r_0175_0005__fallen_r_0175_0006__into,scope).
arc(r_0175_0005__fallen_r_0175_0006__into,r_0175_0001__Eliza,arg0).
arc(r_0175_0005__fallen_r_0175_0006__into,r_0175_0007__a_r_0175_0009__revery,arg1).
arc(r_0175_0007__a_r_0175_0009__revery,r_0175_0008__deep,attrib).
fof(formula,axiom,
? [R_0175_0001__ELIZA,R_0175_0008__DEEP,R_0175_0007__A_R_0175_0009__REVERY,R_0175_0002__SEEMED_R_0175_0004__HAVE_R_0175_0005__FALLEN_R_0175_0006__INTO] :
( r_0175_0001__Eliza(R_0175_0001__ELIZA)
& r_0175_0008__deep(R_0175_0008__DEEP)
& r_0175_0002__seemed_r_0175_0004__have_r_0175_0005__fallen_r_0175_0006__into(R_0175_0002__SEEMED_R_0175_0004__HAVE_R_0175_0005__FALLEN_R_0175_0006__INTO)
& has_arg1(R_0175_0002__SEEMED_R_0175_0004__HAVE_R_0175_0005__FALLEN_R_0175_0006__INTO,R_0175_0007__A_R_0175_0009__REVERY)
& r_0175_0007__a_r_0175_0009__revery(R_0175_0007__A_R_0175_0009__REVERY)
& has_attrib(R_0175_0007__A_R_0175_0009__REVERY,R_0175_0008__DEEP)
& has_arg0(R_0175_0002__SEEMED_R_0175_0004__HAVE_R_0175_0005__FALLEN_R_0175_0006__INTO,R_0175_0001__ELIZA) ) ).