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_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] 
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_4 No n265_a_dick_1952_6 one n265_a_dick_1952_8 spoke n265_a_dick_1952_10 . n265_a_dick_1952_1 IP-MAT n265_a_dick_1952_2 NP-SBJ n265_a_dick_1952_1->n265_a_dick_1952_2 n265_a_dick_1952_7 VBD;_I_ n265_a_dick_1952_1->n265_a_dick_1952_7 n265_a_dick_1952_9 PUNC n265_a_dick_1952_1->n265_a_dick_1952_9 n265_a_dick_1952_3 Q n265_a_dick_1952_2->n265_a_dick_1952_3 n265_a_dick_1952_5 N n265_a_dick_1952_2->n265_a_dick_1952_5 n265_a_dick_1952_3->n265_a_dick_1952_4 n265_a_dick_1952_5->n265_a_dick_1952_6 n265_a_dick_1952_7->n265_a_dick_1952_8 n265_a_dick_1952_9->n265_a_dick_1952_10 
( (IP-MAT (NP-SBJ (Q No;{no})
                  (N one;{one}))
          (VBD;_I_ spoke;{speak})
          (PUNC .))
  (ID 265_a_dick_1952))