Context                Previous, Next                Top


122_a_ted_talk_11
Every one.

%3 r_0122_0001__Every_quant Every [quant] r_0122_0002__one one r_0122_0001__Every_quant->r_0122_0002__one [restriction] z_000_122_a_ted_talk_11_1 r_0122_0001__Every_quant->z_000_122_a_ted_talk_11_1 [scope] z_000_122_a_ted_talk_11_1->r_0122_0002__one [nim] 
arc(r_0122_0001__Every_quant, r_0122_0002__one, restriction).
arc(r_0122_0001__Every_quant, z_000_122_a_ted_talk_11_1, scope).
arc(z_000_122_a_ted_talk_11_1, r_0122_0002__one, nim2).


%3 z_000_122_a_ted_talk_11_1 r_0122_0002__one one z_000_122_a_ted_talk_11_1->r_0122_0002__one [nim] r_0122_0001__Every_quant Every [quant] r_0122_0001__Every_quant->z_000_122_a_ted_talk_11_1 [scope] r_0122_0001__Every_quant->r_0122_0002__one [restriction] 
fof(formula,axiom,
    ! [R_0122_0002__ONE] :
      ( r_0122_0002__one(R_0122_0002__ONE)
     => ? [Z_000_122_A_TED_TALK_11_1] :
          ( z_000_122_a_ted_talk_11_1(Z_000_122_A_TED_TALK_11_1)
          & has_nim2(Z_000_122_A_TED_TALK_11_1,R_0122_0002__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))