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,
? [R_0126_0003__EARTH,R_0126_0001__EVERYWHERE,Z_000_126_A_TED_TALK_11_1] :
( r_0126_0003__Earth(R_0126_0003__EARTH)
& z_000_126_a_ted_talk_11_1(Z_000_126_A_TED_TALK_11_1)
& has_nim2(Z_000_126_A_TED_TALK_11_1,R_0126_0001__EVERYWHERE)
& r_0126_0001__Everywhere(R_0126_0001__EVERYWHERE)
& has_r_0126_0002__on(R_0126_0001__EVERYWHERE,R_0126_0003__EARTH) ) ).
( (FRAG (ADVP-NIM (ADV Everywhere;{everywhere})
(PP (P-ROLE on;{on})
(NP (N Earth;{earth}))))
(PUNC .))
(ID 126_a_ted_talk_11))