126_a_ted_talk_11
Everywhere on Earth.
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).
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) ) ).
( (FRAG (ADVP-NIM (ADV Everywhere;{everywhere})
(PP (P-ROLE on;{on})
(NP (N Earth;{earth}))))
(PUNC .))
(ID 126_a_ted_talk_11))