49_a_potter_1902
He was so tired that he flopped down upon the nice soft sand on the floor of the rabbit-hole and shut his eyes.
( (IP-MAT (NP-SBJ;{PETER} (PRO He;{he}))
(BED;_La_ was;{be})
(ADJP-PRD (ADVP (ADV so;{so})
(CP-THT *ICH*-156))
(ADJ tired;{tired})
(CP-THT-EPD-156 (IP-SUB (C that;{that})
(NP-SBJ;{PETER} (PRO he;{he}))
(ILYR (ILYR (VBD;_Ipr_ flopped;{flop[down_upon]})
(PP-CLR (P-ROLE down_upon;{down_upon})
(NP (D the;{the})
(ADJP (ADJ nice;{nice}))
(ADJP (ADJ soft;{soft}))
(N sand;{sand})
(PP (P-ROLE on;{on})
(NP (D the;{the})
(N floor;{floor})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N rabbit_<hyphen>_hole;{rabbit_hole}))))))))
(CONJP (CONJ and;{and})
(ILYR (VBD;_Tn_ shut;{shut})
(NP-OB1 (NP-GEN;{PETER} (PRO;_genm_ his;{his}))
(NS eyes;{eye}))))))))
(PUNC .))
(ID 49_a_potter_1902))
arc(r_0049_0002__was,r_0049_0001__He,arg0).
arc(r_0049_0002__was,r_0049_0004__tired,prd).
arc(r_0049_0003__so,r_0049_0019__and,emb).
arc(r_0049_0004__tired,r_0049_0003__so,qual).
arc(r_0049_0007__flopped_r_0049_0008__down_upon,r_0049_0001__He,arg0).
arc(r_0049_0007__flopped_r_0049_0008__down_upon,r_0049_0009__the_r_0049_0012__sand,arg1).
arc(r_0049_0009__the_r_0049_0012__sand,r_0049_0010__nice,attrib).
arc(r_0049_0009__the_r_0049_0012__sand,r_0049_0011__soft,attrib).
arc(r_0049_0009__the_r_0049_0012__sand,r_0049_0014__the_r_0049_0015__floor,r_0049_0013__on).
arc(r_0049_0014__the_r_0049_0015__floor,r_0049_0017__the_r_0049_0018__rabbit__hyphen__hole,r_0049_0016__of).
arc(r_0049_0019__and,r_0049_0007__flopped_r_0049_0008__down_upon,conj1).
arc(r_0049_0019__and,r_0049_0020__shut,conj2).
arc(r_0049_0020__shut,r_0049_0001__He,arg0).
arc(r_0049_0020__shut,r_0049_0022__eyes,arg1).
arc(r_0049_0022__eyes,r_0049_0001__He,gen).
fof(formula,axiom,
? [R_0049_0001__HE,R_0049_0010__NICE,R_0049_0011__SOFT,R_0049_0017__THE_R_0049_0018__RABBIT__HYPHEN__HOLE,R_0049_0014__THE_R_0049_0015__FLOOR,R_0049_0009__THE_R_0049_0012__SAND,R_0049_0007__FLOPPED_R_0049_0008__DOWN_UPON,R_0049_0022__EYES,R_0049_0020__SHUT,R_0049_0019__AND,R_0049_0003__SO,R_0049_0004__TIRED,R_0049_0002__WAS] :
( r_0049_0001__He(R_0049_0001__HE)
& r_0049_0010__nice(R_0049_0010__NICE)
& r_0049_0011__soft(R_0049_0011__SOFT)
& r_0049_0017__the_r_0049_0018__rabbit__hyphen__hole(R_0049_0017__THE_R_0049_0018__RABBIT__HYPHEN__HOLE)
& r_0049_0002__was(R_0049_0002__WAS)
& has_prd(R_0049_0002__WAS,R_0049_0004__TIRED)
& r_0049_0004__tired(R_0049_0004__TIRED)
& has_qual(R_0049_0004__TIRED,R_0049_0003__SO)
& r_0049_0003__so(R_0049_0003__SO)
& has_emb(R_0049_0003__SO,R_0049_0019__AND)
& r_0049_0019__and(R_0049_0019__AND)
& has_conj2(R_0049_0019__AND,R_0049_0020__SHUT)
& r_0049_0020__shut(R_0049_0020__SHUT)
& has_arg1(R_0049_0020__SHUT,R_0049_0022__EYES)
& r_0049_0022__eyes(R_0049_0022__EYES)
& has_gen(R_0049_0022__EYES,R_0049_0001__HE)
& has_arg0(R_0049_0020__SHUT,R_0049_0001__HE)
& has_conj1(R_0049_0019__AND,R_0049_0007__FLOPPED_R_0049_0008__DOWN_UPON)
& r_0049_0007__flopped_r_0049_0008__down_upon(R_0049_0007__FLOPPED_R_0049_0008__DOWN_UPON)
& has_arg1(R_0049_0007__FLOPPED_R_0049_0008__DOWN_UPON,R_0049_0009__THE_R_0049_0012__SAND)
& r_0049_0009__the_r_0049_0012__sand(R_0049_0009__THE_R_0049_0012__SAND)
& has_r_0049_0013__on(R_0049_0009__THE_R_0049_0012__SAND,R_0049_0014__THE_R_0049_0015__FLOOR)
& r_0049_0014__the_r_0049_0015__floor(R_0049_0014__THE_R_0049_0015__FLOOR)
& has_r_0049_0016__of(R_0049_0014__THE_R_0049_0015__FLOOR,R_0049_0017__THE_R_0049_0018__RABBIT__HYPHEN__HOLE)
& has_attrib(R_0049_0009__THE_R_0049_0012__SAND,R_0049_0011__SOFT)
& has_attrib(R_0049_0009__THE_R_0049_0012__SAND,R_0049_0010__NICE)
& has_arg0(R_0049_0007__FLOPPED_R_0049_0008__DOWN_UPON,R_0049_0001__HE)
& has_arg0(R_0049_0002__WAS,R_0049_0001__HE) ) ).