140_a_wilde_1_1888
There is no fire in the grate, and hunger has made him faint.”
( (IP-MAT (ILYR (ILYR (EX There;{there})
(BEP;_ex_Vpr_ is;{be})
(NP-ESBJ (Q no;{no})
(N fire;{fire}))
(PP-CLR (P-ROLE in;{in})
(NP (D the;{the})
(N grate;{grate}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (N hunger;{hunger}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_Cn.a_ made;{make})
(NP-OB1;{WRITER} (PRO him;{he}))
(ADJP-PRD (ADJ faint;{faint}))))))
(PUNC .)
(PURQ <rdquo>))
(ID 140_a_wilde_1_1888))
arc(r_0140_0002__is_r_0140_0005__in,r_0140_0004__fire,arg0).
arc(r_0140_0002__is_r_0140_0005__in,r_0140_0006__the_r_0140_0007__grate,arg1).
arc(r_0140_0003__no__quant,r_0140_0002__is_r_0140_0005__in,scope).
arc(r_0140_0003__no__quant,r_0140_0004__fire,restriction).
arc(r_0140_0009__and,r_0140_0003__no__quant,conj1).
arc(r_0140_0009__and,r_0140_0011__has,conj2).
arc(r_0140_0011__has,r_0140_0012__made,scope).
arc(r_0140_0012__made,r_0140_0010__hunger,arg0).
arc(r_0140_0012__made,r_0140_0013__him,arg1).
arc(r_0140_0012__made,r_0140_0014__faint,prd).
fof(formula,axiom,
? [R_0140_0010__HUNGER,R_0140_0013__HIM,R_0140_0014__FAINT,R_0140_0011__HAS_R_0140_0012__MADE,R_0140_0009__AND] :
( r_0140_0010__hunger(R_0140_0010__HUNGER)
& r_0140_0013__him(R_0140_0013__HIM)
& r_0140_0014__faint(R_0140_0014__FAINT)
& r_0140_0009__and(R_0140_0009__AND)
& has_conj2(R_0140_0009__AND,R_0140_0011__HAS_R_0140_0012__MADE)
& r_0140_0011__has_r_0140_0012__made(R_0140_0011__HAS_R_0140_0012__MADE)
& has_prd(R_0140_0011__HAS_R_0140_0012__MADE,R_0140_0014__FAINT)
& has_arg1(R_0140_0011__HAS_R_0140_0012__MADE,R_0140_0013__HIM)
& has_arg0(R_0140_0011__HAS_R_0140_0012__MADE,R_0140_0010__HUNGER)
& ! [R_0140_0004__FIRE] :
( r_0140_0004__fire(R_0140_0004__FIRE)
=> ? [R_0140_0006__THE_R_0140_0007__GRATE,R_0140_0002__IS_R_0140_0005__IN] :
( r_0140_0006__the_r_0140_0007__grate(R_0140_0006__THE_R_0140_0007__GRATE)
& r_0140_0002__is_r_0140_0005__in(R_0140_0002__IS_R_0140_0005__IN)
& has_arg1(R_0140_0002__IS_R_0140_0005__IN,R_0140_0006__THE_R_0140_0007__GRATE)
& has_arg0(R_0140_0002__IS_R_0140_0005__IN,R_0140_0004__FIRE) ) ) ) ).