Context                Previous, Next                Top


529_a_dick_1952
The gun is no menace at all.”

%3 r_0529_0003__is is r_0529_0001__The_r_0529_0002__gun The gun r_0529_0003__is->r_0529_0001__The_r_0529_0002__gun [arg0] r_0529_0005__menace menace r_0529_0003__is->r_0529_0005__menace [prd] r_0529_0006__at_all at all r_0529_0003__is->r_0529_0006__at_all [nim] r_0529_0004__no_quant no [quant] r_0529_0004__no_quant->r_0529_0003__is [scope] r_0529_0004__no_quant->r_0529_0005__menace [restriction] 
arc(r_0529_0003__is, r_0529_0001__The_r_0529_0002__gun, arg0).
arc(r_0529_0003__is, r_0529_0005__menace, prd).
arc(r_0529_0003__is, r_0529_0006__at_all, nim14).
arc(r_0529_0004__no_quant, r_0529_0003__is, scope).
arc(r_0529_0004__no_quant, r_0529_0005__menace, restriction).


%3 r_0529_0004__no_quant no [quant] r_0529_0005__menace menace r_0529_0004__no_quant->r_0529_0005__menace [restriction] r_0529_0003__is is r_0529_0004__no_quant->r_0529_0003__is [scope] r_0529_0003__is->r_0529_0005__menace [prd] r_0529_0006__at_all at all r_0529_0003__is->r_0529_0006__at_all [nim] r_0529_0001__The_r_0529_0002__gun The gun r_0529_0003__is->r_0529_0001__The_r_0529_0002__gun [arg0] 
fof(formula,axiom,
    ! [R_529_5_MENACE] :
      ( menace(R_529_5_MENACE)
     => ? [R_529_3_IS,R_529_1_THE_GUN,R_529_6_AT_ALL] :
          ( the_gun(R_529_1_THE_GUN)
          & at_all(R_529_6_AT_ALL)
          & is(R_529_3_IS,R_529_1_THE_GUN,R_529_5_MENACE)
          & nim14(R_529_3_IS,R_529_6_AT_ALL) ) ) ).


n529_a_dick_1952 n529_a_dick_1952__1_1_1_1 The n529_a_dick_1952__1_1_2_1 gun n529_a_dick_1952__1_2_1 is n529_a_dick_1952__1_3_1_1 no n529_a_dick_1952__1_3_2_1 menace n529_a_dick_1952__1_4_1_1 at_all n529_a_dick_1952__1_5_1 . n529_a_dick_1952__1_6_1 <rdquo> n529_a_dick_1952__1 IP-MAT n529_a_dick_1952__1_1 NP-SBJ n529_a_dick_1952__1->n529_a_dick_1952__1_1 n529_a_dick_1952__1_2 BEP;_Ln_ n529_a_dick_1952__1->n529_a_dick_1952__1_2 n529_a_dick_1952__1_3 NP-PRD n529_a_dick_1952__1->n529_a_dick_1952__1_3 n529_a_dick_1952__1_4 ADVP-NIM n529_a_dick_1952__1->n529_a_dick_1952__1_4 n529_a_dick_1952__1_5 PUNC n529_a_dick_1952__1->n529_a_dick_1952__1_5 n529_a_dick_1952__1_6 PURQ n529_a_dick_1952__1->n529_a_dick_1952__1_6 n529_a_dick_1952__1_1_1 D n529_a_dick_1952__1_1->n529_a_dick_1952__1_1_1 n529_a_dick_1952__1_1_2 N n529_a_dick_1952__1_1->n529_a_dick_1952__1_1_2 n529_a_dick_1952__1_1_1->n529_a_dick_1952__1_1_1_1 n529_a_dick_1952__1_1_2->n529_a_dick_1952__1_1_2_1 n529_a_dick_1952__1_2->n529_a_dick_1952__1_2_1 n529_a_dick_1952__1_3_1 Q n529_a_dick_1952__1_3->n529_a_dick_1952__1_3_1 n529_a_dick_1952__1_3_2 N n529_a_dick_1952__1_3->n529_a_dick_1952__1_3_2 n529_a_dick_1952__1_3_1->n529_a_dick_1952__1_3_1_1 n529_a_dick_1952__1_3_2->n529_a_dick_1952__1_3_2_1 n529_a_dick_1952__1_4_1 ADV n529_a_dick_1952__1_4->n529_a_dick_1952__1_4_1 n529_a_dick_1952__1_4_1->n529_a_dick_1952__1_4_1_1 n529_a_dick_1952__1_5->n529_a_dick_1952__1_5_1 n529_a_dick_1952__1_6->n529_a_dick_1952__1_6_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N gun;{gun}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (Q no;{no})
                  (N menace;{menace}))
          (ADVP-NIM (ADV at_all;{at_all}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 529_a_dick_1952))