175_a_wilde_1_1888
She has no shoes or stockings, and her little head is bare.
( (IP-MAT (ILYR (ILYR (NP-SBJ;{MATCH_GIRL} (PRO She;{she}))
(HVP;_Tn_ has;{have})
(NP-OB1 (Q no;{no})
(NLYR (NLYR (NS shoes;{shoe}))
(CONJP (CONJ or;{or})
(NLYR (NS stockings;{stocking}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (NP-GEN;{MATCH_GIRL} (PRO;_genm_ her;{her}))
(ADJP (ADJ little;{little}))
(N head;{head}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ bare;{bare})))))
(PUNC .))
(ID 175_a_wilde_1_1888))
arc(r_0175_0002__has,r_0175_0001__She,arg0).
arc(r_0175_0002__has,r_0175_0005__or,arg1).
arc(r_0175_0003__no__quant,r_0175_0002__has,scope).
arc(r_0175_0003__no__quant,r_0175_0005__or,restriction).
arc(r_0175_0005__or,r_0175_0004__shoes,conj1).
arc(r_0175_0005__or,r_0175_0006__stockings,conj2).
arc(r_0175_0008__and,r_0175_0003__no__quant,conj1).
arc(r_0175_0008__and,r_0175_0012__is,conj2).
arc(r_0175_0011__head,r_0175_0001__She,gen).
arc(r_0175_0011__head,r_0175_0010__little,attrib).
arc(r_0175_0012__is,r_0175_0011__head,arg0).
arc(r_0175_0012__is,r_0175_0013__bare,prd).
fof(formula,axiom,
? [R_0175_0001__SHE,R_0175_0010__LITTLE,R_0175_0011__HEAD,R_0175_0013__BARE,R_0175_0012__IS,R_0175_0008__AND] :
( r_0175_0001__She(R_0175_0001__SHE)
& r_0175_0010__little(R_0175_0010__LITTLE)
& r_0175_0013__bare(R_0175_0013__BARE)
& r_0175_0008__and(R_0175_0008__AND)
& has_conj2(R_0175_0008__AND,R_0175_0012__IS)
& r_0175_0012__is(R_0175_0012__IS)
& has_prd(R_0175_0012__IS,R_0175_0013__BARE)
& has_arg0(R_0175_0012__IS,R_0175_0011__HEAD)
& r_0175_0011__head(R_0175_0011__HEAD)
& has_attrib(R_0175_0011__HEAD,R_0175_0010__LITTLE)
& has_gen(R_0175_0011__HEAD,R_0175_0001__SHE)
& ! [R_0175_0005__OR,R_0175_0004__SHOES,R_0175_0006__STOCKINGS] :
( ( r_0175_0004__shoes(R_0175_0004__SHOES)
& r_0175_0006__stockings(R_0175_0006__STOCKINGS)
& r_0175_0005__or(R_0175_0005__OR)
& has_conj2(R_0175_0005__OR,R_0175_0006__STOCKINGS)
& has_conj1(R_0175_0005__OR,R_0175_0004__SHOES) )
=> ? [R_0175_0002__HAS] :
( r_0175_0002__has(R_0175_0002__HAS)
& has_arg1(R_0175_0002__HAS,R_0175_0005__OR)
& has_arg0(R_0175_0002__HAS,R_0175_0001__SHE) ) ) ) ).