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_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_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_4 The n529_a_dick_1952_6 gun n529_a_dick_1952_8 is n529_a_dick_1952_11 no n529_a_dick_1952_13 menace n529_a_dick_1952_16 at_all n529_a_dick_1952_18 . n529_a_dick_1952_20 <rdquo> n529_a_dick_1952_1 IP-MAT n529_a_dick_1952_2 NP-SBJ n529_a_dick_1952_1->n529_a_dick_1952_2 n529_a_dick_1952_7 BEP;_Ln_ n529_a_dick_1952_1->n529_a_dick_1952_7 n529_a_dick_1952_9 NP-PRD n529_a_dick_1952_1->n529_a_dick_1952_9 n529_a_dick_1952_14 ADVP-NIM n529_a_dick_1952_1->n529_a_dick_1952_14 n529_a_dick_1952_17 PUNC n529_a_dick_1952_1->n529_a_dick_1952_17 n529_a_dick_1952_19 PURQ n529_a_dick_1952_1->n529_a_dick_1952_19 n529_a_dick_1952_3 D n529_a_dick_1952_2->n529_a_dick_1952_3 n529_a_dick_1952_5 N n529_a_dick_1952_2->n529_a_dick_1952_5 n529_a_dick_1952_3->n529_a_dick_1952_4 n529_a_dick_1952_5->n529_a_dick_1952_6 n529_a_dick_1952_7->n529_a_dick_1952_8 n529_a_dick_1952_10 Q n529_a_dick_1952_9->n529_a_dick_1952_10 n529_a_dick_1952_12 N n529_a_dick_1952_9->n529_a_dick_1952_12 n529_a_dick_1952_10->n529_a_dick_1952_11 n529_a_dick_1952_12->n529_a_dick_1952_13 n529_a_dick_1952_15 ADV n529_a_dick_1952_14->n529_a_dick_1952_15 n529_a_dick_1952_15->n529_a_dick_1952_16 n529_a_dick_1952_17->n529_a_dick_1952_18 n529_a_dick_1952_19->n529_a_dick_1952_20 
( (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))