Context                Previous, Next                Top


265_a_dick_1952
No one spoke.

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))


%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] 
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_0265_0002__ONE] :
      ( r_0265_0002__one(R_0265_0002__ONE)
     => ? [R_0265_0003__SPOKE] :
          ( r_0265_0003__spoke(R_0265_0003__SPOKE)
          & has_arg0(R_0265_0003__SPOKE,R_0265_0002__ONE) ) ) ).