529_a_dick_1952
The gun is no menace 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))



%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]
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,nim).
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_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]
fof(formula,axiom,
    ! [R_0529_0005__MENACE] :
      ( r_0529_0005__menace(R_0529_0005__MENACE)
     => ? [R_0529_0001__THE_R_0529_0002__GUN,R_0529_0006__AT_ALL,R_0529_0003__IS] :
          ( r_0529_0001__The_r_0529_0002__gun(R_0529_0001__THE_R_0529_0002__GUN)
          & r_0529_0006__at_all(R_0529_0006__AT_ALL)
          & r_0529_0003__is(R_0529_0003__IS)
          & has_nim(R_0529_0003__IS,R_0529_0006__AT_ALL)
          & has_prd(R_0529_0003__IS,R_0529_0005__MENACE)
          & has_arg0(R_0529_0003__IS,R_0529_0001__THE_R_0529_0002__GUN) ) ) ).