529_a_dick_1952
The gun is no menace at all.”
( (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))
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).
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) ) ) ).