136_a_dick_1952
Metal doesn't need food and water.”
( (IP-MAT (NP-SBJ (N Metal;{metal}))
(DOP does;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_Tn_ need;{need})
(NP-OB1 (NLYR (NLYR (N food;{food}))
(CONJP (CONJ and;{and})
(NLYR (N water;{water})))))
(PUNC .)
(PURQ <rdquo>))
(ID 136_a_dick_1952))
arc(r_0136_0002__does_r_0136_0004__need,r_0136_0001__Metal,arg0).
arc(r_0136_0002__does_r_0136_0004__need,r_0136_0006__and,arg1).
arc(r_0136_0003__n_apos_t,r_0136_0002__does_r_0136_0004__need,keep_scope).
arc(r_0136_0006__and,r_0136_0005__food,conj1).
arc(r_0136_0006__and,r_0136_0007__water,conj2).
fof(formula,axiom,
~ ? [R_0136_0001__METAL,R_0136_0005__FOOD,R_0136_0007__WATER,R_0136_0006__AND,R_0136_0002__DOES_R_0136_0004__NEED] :
( r_0136_0001__Metal(R_0136_0001__METAL)
& r_0136_0005__food(R_0136_0005__FOOD)
& r_0136_0007__water(R_0136_0007__WATER)
& r_0136_0002__does_r_0136_0004__need(R_0136_0002__DOES_R_0136_0004__NEED)
& has_arg1(R_0136_0002__DOES_R_0136_0004__NEED,R_0136_0006__AND)
& r_0136_0006__and(R_0136_0006__AND)
& has_conj2(R_0136_0006__AND,R_0136_0007__WATER)
& has_conj1(R_0136_0006__AND,R_0136_0005__FOOD)
& has_arg0(R_0136_0002__DOES_R_0136_0004__NEED,R_0136_0001__METAL) ) ).