126_a_ted_talk_11
Everywhere on Earth.
( (FRAG (ADVP-NIM (ADV Everywhere;{everywhere})
(PP (P-ROLE on;{on})
(NP (N Earth;{earth}))))
(PUNC .))
(ID 126_a_ted_talk_11))
arc(r_0126_0001__Everywhere,r_0126_0003__Earth,r_0126_0002__on).
arc(z_0126_5003,r_0126_0001__Everywhere,nim).
fof(formula,axiom,
? [R_0126_0003__EARTH,R_0126_0001__EVERYWHERE,Z_0126_5003] :
( r_0126_0003__Earth(R_0126_0003__EARTH)
& z_0126_5003(Z_0126_5003)
& has_nim(Z_0126_5003,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) ) ).