134_a_dick_1952
Metal doesn't need air to breathe.
arc(r_0134_0002__does_r_0134_0004__need, r_0134_0001__Metal, arg0).
arc(r_0134_0002__does_r_0134_0004__need, r_0134_0005__air, arg1).
arc(r_0134_0003__n_apos_t, z_000_134_a_dick_1952_14, keep_scope).
arc(r_0134_0006__to_r_0134_0007__breathe, r_0134_0001__Metal, arg0).
arc(z_000_134_a_dick_1952_14, r_0134_0002__does_r_0134_0004__need, scope).
arc(z_000_134_a_dick_1952_14, r_0134_0006__to_r_0134_0007__breathe, restriction).
fof(formula,axiom,
~ ? [R_0134_0001__METAL,R_0134_0005__AIR,R_0134_0002__DOES_R_0134_0004__NEED,R_0134_0006__TO_R_0134_0007__BREATHE,Z_000_134_A_DICK_1952_14] :
( r_0134_0001__Metal(R_0134_0001__METAL)
& r_0134_0005__air(R_0134_0005__AIR)
& z_000_134_a_dick_1952_14(Z_000_134_A_DICK_1952_14)
& has_conj1(Z_000_134_A_DICK_1952_14,R_0134_0006__TO_R_0134_0007__BREATHE)
& r_0134_0006__to_r_0134_0007__breathe(R_0134_0006__TO_R_0134_0007__BREATHE)
& has_arg0(R_0134_0006__TO_R_0134_0007__BREATHE,R_0134_0001__METAL)
& has_conj2(Z_000_134_A_DICK_1952_14,R_0134_0002__DOES_R_0134_0004__NEED)
& r_0134_0002__does_r_0134_0004__need(R_0134_0002__DOES_R_0134_0004__NEED)
& has_arg1(R_0134_0002__DOES_R_0134_0004__NEED,R_0134_0005__AIR)
& has_arg0(R_0134_0002__DOES_R_0134_0004__NEED,R_0134_0001__METAL) ) ).
( (IP-MAT (NP-SBJ (N Metal;{metal}))
(DOP does;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_Tn_ need;{need})
(NP-OB1 (N air;{air}))
(PP-SCON (IP-INF2 (TO to;{to})
(VB;_I_ breathe;{breathe})))
(PUNC .))
(ID 134_a_dick_1952))