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 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] 
fof(formula,axiom,
    ! [R_122_2_ONE] :
      ( one(R_122_2_ONE)
     => ? [Z_122_A_TED_TALK_11_1] :
          ( z_122_a_ted_talk_11_1(Z_122_A_TED_TALK_11_1)
          & nim2(Z_122_A_TED_TALK_11_1,R_122_2_ONE) ) ) ).


n122_a_ted_talk_11 n122_a_ted_talk_11_4 Every n122_a_ted_talk_11_6 one n122_a_ted_talk_11_8 . n122_a_ted_talk_11_1 FRAG n122_a_ted_talk_11_2 NP n122_a_ted_talk_11_1->n122_a_ted_talk_11_2 n122_a_ted_talk_11_7 PUNC n122_a_ted_talk_11_1->n122_a_ted_talk_11_7 n122_a_ted_talk_11_3 Q n122_a_ted_talk_11_2->n122_a_ted_talk_11_3 n122_a_ted_talk_11_5 N n122_a_ted_talk_11_2->n122_a_ted_talk_11_5 n122_a_ted_talk_11_3->n122_a_ted_talk_11_4 n122_a_ted_talk_11_5->n122_a_ted_talk_11_6 n122_a_ted_talk_11_7->n122_a_ted_talk_11_8 
( (FRAG (NP (Q Every;{every})
            (N one;{one}))
        (PUNC .))
  (ID 122_a_ted_talk_11))