Context                Previous, Next                Top


134_a_dick_1952
Metal doesn't need air to breathe.

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))


%3 z_0134_5003 r_0134_0007__breathe breathe z_0134_5003->r_0134_0007__breathe [restriction] r_0134_0003__n_apos_t n't z_0134_5003->r_0134_0003__n_apos_t [scope] r_0134_0001__Metal Metal r_0134_0007__breathe->r_0134_0001__Metal [arg0] r_0134_0002__does_r_0134_0004__need does need r_0134_0003__n_apos_t->r_0134_0002__does_r_0134_0004__need [keep_scope] 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] 
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,r_0134_0002__does_r_0134_0004__need,keep_scope).
arc(r_0134_0007__breathe,r_0134_0001__Metal,arg0).
arc(z_0134_5003,r_0134_0003__n_apos_t,scope).
arc(z_0134_5003,r_0134_0007__breathe,restriction).


%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 r_0134_0003__n_apos_t->r_0134_0002__does_r_0134_0004__need [keep_scope] r_0134_0007__breathe breathe r_0134_0007__breathe->r_0134_0001__Metal [arg0] z_0134_5003 z_0134_5003->r_0134_0003__n_apos_t [conj2] z_0134_5003->r_0134_0007__breathe [conj1] 
fof(formula,axiom,
    ? [R_0134_0001__METAL,R_0134_0007__BREATHE,Z_0134_5003] :
      ( r_0134_0001__Metal(R_0134_0001__METAL)
      & z_0134_5003(Z_0134_5003)
      & has_conj1(Z_0134_5003,R_0134_0007__BREATHE)
      & r_0134_0007__breathe(R_0134_0007__BREATHE)
      & has_arg0(R_0134_0007__BREATHE,R_0134_0001__METAL)
      & has_conj2(Z_0134_5003,R_0134_0003__N_APOS_T)
      & ~ ? [R_0134_0005__AIR,R_0134_0002__DOES_R_0134_0004__NEED] :
            ( r_0134_0005__air(R_0134_0005__AIR)
            & 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) ) ) ).