Context                Previous, Next                Top


122_a_ted_talk_11
Every one.

n122_a_ted_talk_11 n122_a_ted_talk_11__1_1_1_1 Every n122_a_ted_talk_11__1_1_2_1 one n122_a_ted_talk_11__1_2_1 . n122_a_ted_talk_11__1 FRAG n122_a_ted_talk_11__1_1 NP n122_a_ted_talk_11__1->n122_a_ted_talk_11__1_1 n122_a_ted_talk_11__1_2 PUNC n122_a_ted_talk_11__1->n122_a_ted_talk_11__1_2 n122_a_ted_talk_11__1_1_1 Q n122_a_ted_talk_11__1_1->n122_a_ted_talk_11__1_1_1 n122_a_ted_talk_11__1_1_2 N n122_a_ted_talk_11__1_1->n122_a_ted_talk_11__1_1_2 n122_a_ted_talk_11__1_1_1->n122_a_ted_talk_11__1_1_1_1 n122_a_ted_talk_11__1_1_2->n122_a_ted_talk_11__1_1_2_1 n122_a_ted_talk_11__1_2->n122_a_ted_talk_11__1_2_1 
( (FRAG (NP (Q Every;{every})
            (N one;{one}))
        (PUNC .))
  (ID 122_a_ted_talk_11))


%3 z_0122_5005 r_0122_0002__one one z_0122_5005->r_0122_0002__one r_0122_0001__Every__quant Every [quant] r_0122_0001__Every__quant->z_0122_5005 [scope] r_0122_0001__Every__quant->r_0122_0002__one [restriction] 
arc(r_0122_0001__Every__quant,r_0122_0002__one,restriction).
arc(r_0122_0001__Every__quant,z_0122_5005,scope).
arc(z_0122_5005,r_0122_0002__one,z_0122_5002).


%3 r_0122_0001__Every__quant Every [quant] r_0122_0002__one one r_0122_0001__Every__quant->r_0122_0002__one [restriction] z_0122_5005 r_0122_0001__Every__quant->z_0122_5005 [scope] z_0122_5005->r_0122_0002__one 
fof(formula,axiom,
    ! [R_0122_0002__ONE] :
      ( r_0122_0002__one(R_0122_0002__ONE)
     => ? [Z_0122_5005] :
          ( z_0122_5005(Z_0122_5005)
          & has_z_0122_5002(Z_0122_5005,R_0122_0002__ONE) ) ) ).