Context                Previous, Next                Top


325_a_dick_1952
No one fires it.”

n325_a_dick_1952 n325_a_dick_1952__1_1_1_1 No n325_a_dick_1952__1_1_2_1 one n325_a_dick_1952__1_2_1 fires n325_a_dick_1952__1_3_1_1 it n325_a_dick_1952__1_4_1 . n325_a_dick_1952__1_5_1 <rdquo> n325_a_dick_1952__1 IP-MAT n325_a_dick_1952__1_1 NP-SBJ n325_a_dick_1952__1->n325_a_dick_1952__1_1 n325_a_dick_1952__1_2 VBP;_Tn_ n325_a_dick_1952__1->n325_a_dick_1952__1_2 n325_a_dick_1952__1_3 NP-OB1 n325_a_dick_1952__1->n325_a_dick_1952__1_3 n325_a_dick_1952__1_4 PUNC n325_a_dick_1952__1->n325_a_dick_1952__1_4 n325_a_dick_1952__1_5 PURQ n325_a_dick_1952__1->n325_a_dick_1952__1_5 n325_a_dick_1952__1_1_1 Q n325_a_dick_1952__1_1->n325_a_dick_1952__1_1_1 n325_a_dick_1952__1_1_2 N n325_a_dick_1952__1_1->n325_a_dick_1952__1_1_2 n325_a_dick_1952__1_1_1->n325_a_dick_1952__1_1_1_1 n325_a_dick_1952__1_1_2->n325_a_dick_1952__1_1_2_1 n325_a_dick_1952__1_2->n325_a_dick_1952__1_2_1 n325_a_dick_1952__1_3_1 PRO n325_a_dick_1952__1_3->n325_a_dick_1952__1_3_1 n325_a_dick_1952__1_3_1->n325_a_dick_1952__1_3_1_1 n325_a_dick_1952__1_4->n325_a_dick_1952__1_4_1 n325_a_dick_1952__1_5->n325_a_dick_1952__1_5_1 
( (IP-MAT (NP-SBJ (Q No;{no})
                  (N one;{one}))
          (VBP;_Tn_ fires;{fire})
          (NP-OB1;{GUN} (PRO it;{it}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 325_a_dick_1952))


%3 r_0325_0003__fires fires r_0325_0004__it it r_0325_0003__fires->r_0325_0004__it [arg1] r_0325_0002__one one r_0325_0003__fires->r_0325_0002__one [arg0] r_0325_0001__No__quant No [quant] r_0325_0001__No__quant->r_0325_0003__fires [scope] r_0325_0001__No__quant->r_0325_0002__one [restriction] 
arc(r_0325_0001__No__quant,r_0325_0002__one,restriction).
arc(r_0325_0001__No__quant,r_0325_0003__fires,scope).
arc(r_0325_0003__fires,r_0325_0002__one,arg0).
arc(r_0325_0003__fires,r_0325_0004__it,arg1).


%3 r_0325_0001__No__quant No [quant] r_0325_0002__one one r_0325_0001__No__quant->r_0325_0002__one [restriction] r_0325_0003__fires fires r_0325_0001__No__quant->r_0325_0003__fires [scope] r_0325_0003__fires->r_0325_0002__one [arg0] r_0325_0004__it it r_0325_0003__fires->r_0325_0004__it [arg1] 
fof(formula,axiom,
    ! [R_0325_0002__ONE] :
      ( r_0325_0002__one(R_0325_0002__ONE)
     => ? [R_0325_0004__IT,R_0325_0003__FIRES] :
          ( r_0325_0004__it(R_0325_0004__IT)
          & r_0325_0003__fires(R_0325_0003__FIRES)
          & has_arg1(R_0325_0003__FIRES,R_0325_0004__IT)
          & has_arg0(R_0325_0003__FIRES,R_0325_0002__ONE) ) ) ).