Context                Previous, Next                Top


265_a_dick_1952
No one spoke.

%3 r_0265_0001__No_quant No [quant] r_0265_0002__one one r_0265_0001__No_quant->r_0265_0002__one [restriction] r_0265_0003__spoke spoke r_0265_0001__No_quant->r_0265_0003__spoke [scope] r_0265_0003__spoke->r_0265_0002__one [arg0] 
arc(r_0265_0001__No_quant, r_0265_0002__one, restriction).
arc(r_0265_0001__No_quant, r_0265_0003__spoke, scope).
arc(r_0265_0003__spoke, r_0265_0002__one, arg0).


%3 r_0265_0003__spoke spoke r_0265_0002__one one r_0265_0003__spoke->r_0265_0002__one [arg0] r_0265_0001__No_quant No [quant] r_0265_0001__No_quant->r_0265_0003__spoke [scope] r_0265_0001__No_quant->r_0265_0002__one [restriction] 
fof(formula,axiom,
    ! [R_265_2_ONE] :
      ( one(R_265_2_ONE)
     => ? [R_265_3_SPOKE] : spoke(R_265_3_SPOKE,R_265_2_ONE) ) ).


n265_a_dick_1952 n265_a_dick_1952__1_1_1_1 No n265_a_dick_1952__1_1_2_1 one n265_a_dick_1952__1_2_1 spoke n265_a_dick_1952__1_3_1 . n265_a_dick_1952__1 IP-MAT n265_a_dick_1952__1_1 NP-SBJ n265_a_dick_1952__1->n265_a_dick_1952__1_1 n265_a_dick_1952__1_2 VBD;_I_ n265_a_dick_1952__1->n265_a_dick_1952__1_2 n265_a_dick_1952__1_3 PUNC n265_a_dick_1952__1->n265_a_dick_1952__1_3 n265_a_dick_1952__1_1_1 Q n265_a_dick_1952__1_1->n265_a_dick_1952__1_1_1 n265_a_dick_1952__1_1_2 N n265_a_dick_1952__1_1->n265_a_dick_1952__1_1_2 n265_a_dick_1952__1_1_1->n265_a_dick_1952__1_1_1_1 n265_a_dick_1952__1_1_2->n265_a_dick_1952__1_1_2_1 n265_a_dick_1952__1_2->n265_a_dick_1952__1_2_1 n265_a_dick_1952__1_3->n265_a_dick_1952__1_3_1 
( (IP-MAT (NP-SBJ (Q No;{no})
                  (N one;{one}))
          (VBD;_I_ spoke;{speak})
          (PUNC .))
  (ID 265_a_dick_1952))