Context                Previous, Next                Top


134_a_dick_1952
Metal doesn't need air to breathe.

%3 r_0134_0002__does_r_0134_0004__need does need r_0134_0001__Metal Metal r_0134_0002__does_r_0134_0004__need->r_0134_0001__Metal [arg0] r_0134_0005__air air r_0134_0002__does_r_0134_0004__need->r_0134_0005__air [arg1] r_0134_0003__n_apos_t n't z_000_134_a_dick_1952_14 r_0134_0003__n_apos_t->z_000_134_a_dick_1952_14 [keep_scope] z_000_134_a_dick_1952_14->r_0134_0002__does_r_0134_0004__need [scope] r_0134_0006__to_r_0134_0007__breathe to breathe z_000_134_a_dick_1952_14->r_0134_0006__to_r_0134_0007__breathe [restriction] r_0134_0006__to_r_0134_0007__breathe->r_0134_0001__Metal [arg0] 
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).


%3 z_000_134_a_dick_1952_14 r_0134_0006__to_r_0134_0007__breathe to breathe z_000_134_a_dick_1952_14->r_0134_0006__to_r_0134_0007__breathe [conj1] r_0134_0002__does_r_0134_0004__need does need z_000_134_a_dick_1952_14->r_0134_0002__does_r_0134_0004__need [conj2] r_0134_0001__Metal Metal r_0134_0006__to_r_0134_0007__breathe->r_0134_0001__Metal [arg0] r_0134_0002__does_r_0134_0004__need->r_0134_0001__Metal [arg0] r_0134_0005__air air r_0134_0002__does_r_0134_0004__need->r_0134_0005__air [arg1] r_0134_0003__n_apos_t n't r_0134_0003__n_apos_t->z_000_134_a_dick_1952_14 [keep_scope] 
fof(formula,axiom,
    ~ ? [Z_134_A_DICK_1952_14,R_134_6_TO_BREATHE,R_134_2_DOES_NEED,R_134_1_METAL,R_134_5_AIR] :
        ( metal(R_134_1_METAL)
        & air(R_134_5_AIR)
        & z_134_a_dick_1952_14(Z_134_A_DICK_1952_14)
        & conj1(Z_134_A_DICK_1952_14,R_134_6_TO_BREATHE)
        & to_breathe(R_134_6_TO_BREATHE,R_134_1_METAL)
        & conj2(Z_134_A_DICK_1952_14,R_134_2_DOES_NEED)
        & does_need(R_134_2_DOES_NEED,R_134_1_METAL,R_134_5_AIR) ) ).


n134_a_dick_1952 n134_a_dick_1952__1_1_1_1 Metal n134_a_dick_1952__1_2_1 does n134_a_dick_1952__1_3_1 n't n134_a_dick_1952__1_4_1 need n134_a_dick_1952__1_5_1_1 air n134_a_dick_1952__1_6_1_1_1 to n134_a_dick_1952__1_6_1_2_1 breathe n134_a_dick_1952__1_7_1 . n134_a_dick_1952__1 IP-MAT n134_a_dick_1952__1_1 NP-SBJ n134_a_dick_1952__1->n134_a_dick_1952__1_1 n134_a_dick_1952__1_2 DOP n134_a_dick_1952__1->n134_a_dick_1952__1_2 n134_a_dick_1952__1_3 NEG;_clitic_ n134_a_dick_1952__1->n134_a_dick_1952__1_3 n134_a_dick_1952__1_4 VB;_Tn_ n134_a_dick_1952__1->n134_a_dick_1952__1_4 n134_a_dick_1952__1_5 NP-OB1 n134_a_dick_1952__1->n134_a_dick_1952__1_5 n134_a_dick_1952__1_6 PP-SCON n134_a_dick_1952__1->n134_a_dick_1952__1_6 n134_a_dick_1952__1_7 PUNC n134_a_dick_1952__1->n134_a_dick_1952__1_7 n134_a_dick_1952__1_1_1 N n134_a_dick_1952__1_1->n134_a_dick_1952__1_1_1 n134_a_dick_1952__1_1_1->n134_a_dick_1952__1_1_1_1 n134_a_dick_1952__1_2->n134_a_dick_1952__1_2_1 n134_a_dick_1952__1_3->n134_a_dick_1952__1_3_1 n134_a_dick_1952__1_4->n134_a_dick_1952__1_4_1 n134_a_dick_1952__1_5_1 N n134_a_dick_1952__1_5->n134_a_dick_1952__1_5_1 n134_a_dick_1952__1_5_1->n134_a_dick_1952__1_5_1_1 n134_a_dick_1952__1_6_1 IP-INF2 n134_a_dick_1952__1_6->n134_a_dick_1952__1_6_1 n134_a_dick_1952__1_6_1_1 TO n134_a_dick_1952__1_6_1->n134_a_dick_1952__1_6_1_1 n134_a_dick_1952__1_6_1_2 VB;_I_ n134_a_dick_1952__1_6_1->n134_a_dick_1952__1_6_1_2 n134_a_dick_1952__1_6_1_1->n134_a_dick_1952__1_6_1_1_1 n134_a_dick_1952__1_6_1_2->n134_a_dick_1952__1_6_1_2_1 n134_a_dick_1952__1_7->n134_a_dick_1952__1_7_1 
( (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))