Context                Previous, Next                Top


126_a_ted_talk_11
Everywhere on Earth.

%3 r_0126_0001__Everywhere Everywhere r_0126_0003__Earth Earth r_0126_0001__Everywhere->r_0126_0003__Earth on z_000_126_a_ted_talk_11_1 z_000_126_a_ted_talk_11_1->r_0126_0001__Everywhere [nim] 
arc(r_0126_0001__Everywhere, r_0126_0003__Earth, r_0126_0002__on).
arc(z_000_126_a_ted_talk_11_1, r_0126_0001__Everywhere, nim2).


%3 r_0126_0001__Everywhere Everywhere r_0126_0003__Earth Earth r_0126_0001__Everywhere->r_0126_0003__Earth on z_000_126_a_ted_talk_11_1 z_000_126_a_ted_talk_11_1->r_0126_0001__Everywhere [nim] 
fof(formula,axiom,
    ? [Z_126_A_TED_TALK_11_1,R_126_1_EVERYWHERE,R_126_3_EARTH] :
      ( earth(R_126_3_EARTH)
      & z_126_a_ted_talk_11_1(Z_126_A_TED_TALK_11_1)
      & nim2(Z_126_A_TED_TALK_11_1,R_126_1_EVERYWHERE)
      & everywhere(R_126_1_EVERYWHERE)
      & on(R_126_1_EVERYWHERE,R_126_3_EARTH) ) ).


n126_a_ted_talk_11 n126_a_ted_talk_11_4 Everywhere n126_a_ted_talk_11_7 on n126_a_ted_talk_11_10 Earth n126_a_ted_talk_11_12 . n126_a_ted_talk_11_1 FRAG n126_a_ted_talk_11_2 ADVP-NIM n126_a_ted_talk_11_1->n126_a_ted_talk_11_2 n126_a_ted_talk_11_11 PUNC n126_a_ted_talk_11_1->n126_a_ted_talk_11_11 n126_a_ted_talk_11_3 ADV n126_a_ted_talk_11_2->n126_a_ted_talk_11_3 n126_a_ted_talk_11_5 PP n126_a_ted_talk_11_2->n126_a_ted_talk_11_5 n126_a_ted_talk_11_3->n126_a_ted_talk_11_4 n126_a_ted_talk_11_6 P-ROLE n126_a_ted_talk_11_5->n126_a_ted_talk_11_6 n126_a_ted_talk_11_8 NP n126_a_ted_talk_11_5->n126_a_ted_talk_11_8 n126_a_ted_talk_11_6->n126_a_ted_talk_11_7 n126_a_ted_talk_11_9 N n126_a_ted_talk_11_8->n126_a_ted_talk_11_9 n126_a_ted_talk_11_9->n126_a_ted_talk_11_10 n126_a_ted_talk_11_11->n126_a_ted_talk_11_12 
( (FRAG (ADVP-NIM (ADV Everywhere;{everywhere})
                  (PP (P-ROLE on;{on})
                      (NP (N Earth;{earth}))))
        (PUNC .))
  (ID 126_a_ted_talk_11))