40_a_voice_of_america
One of the 2008 Olympic mascots is modeled on a panda called Jing Jing.
arc(r_0040_0001__One, r_0040_0003__the_r_0040_0004__2008_r_0040_0005__Olympic_r_0040_0006__mascots, r_0040_0002__of).
arc(r_0040_0007__is, r_0040_0008__modeled, scope).
arc(r_0040_0008__modeled, r_0040_0001__One, arg1).
arc(r_0040_0008__modeled, r_0040_0010__a_r_0040_0011__panda, r_0040_0009__on_clr27).
arc(r_0040_0008__modeled, z_000_40_a_voice_of_america_20, arg0).
arc(r_0040_0012__called, r_0040_0010__a_r_0040_0011__panda, arg1).
arc(r_0040_0012__called, r_0040_0013__Jing_r_0040_0014__Jing, prd).
arc(r_0040_0012__called, z_000_40_a_voice_of_america_33, arg0).
fof(formula,axiom,
? [R_0040_0003__THE_R_0040_0004__2008_R_0040_0005__OLYMPIC_R_0040_0006__MASCOTS,R_0040_0001__ONE,R_0040_0010__A_R_0040_0011__PANDA,Z_000_40_A_VOICE_OF_AMERICA_20,R_0040_0007__IS_R_0040_0008__MODELED,R_0040_0013__JING_R_0040_0014__JING,Z_000_40_A_VOICE_OF_AMERICA_33,R_0040_0012__CALLED] :
( r_0040_0003__the_r_0040_0004__2008_r_0040_0005__Olympic_r_0040_0006__mascots(R_0040_0003__THE_R_0040_0004__2008_R_0040_0005__OLYMPIC_R_0040_0006__MASCOTS)
& r_0040_0010__a_r_0040_0011__panda(R_0040_0010__A_R_0040_0011__PANDA)
& r_0040_0013__Jing_r_0040_0014__Jing(R_0040_0013__JING_R_0040_0014__JING)
& z_000_40_a_voice_of_america_20(Z_000_40_A_VOICE_OF_AMERICA_20)
& z_000_40_a_voice_of_america_33(Z_000_40_A_VOICE_OF_AMERICA_33)
& r_0040_0012__called(R_0040_0012__CALLED)
& has_arg0(R_0040_0012__CALLED,Z_000_40_A_VOICE_OF_AMERICA_33)
& has_prd(R_0040_0012__CALLED,R_0040_0013__JING_R_0040_0014__JING)
& has_arg1(R_0040_0012__CALLED,R_0040_0010__A_R_0040_0011__PANDA)
& r_0040_0007__is_r_0040_0008__modeled(R_0040_0007__IS_R_0040_0008__MODELED)
& has_arg0(R_0040_0007__IS_R_0040_0008__MODELED,Z_000_40_A_VOICE_OF_AMERICA_20)
& has_r_0040_0009__on_clr27(R_0040_0007__IS_R_0040_0008__MODELED,R_0040_0010__A_R_0040_0011__PANDA)
& has_arg1(R_0040_0007__IS_R_0040_0008__MODELED,R_0040_0001__ONE)
& r_0040_0001__One(R_0040_0001__ONE)
& has_r_0040_0002__of(R_0040_0001__ONE,R_0040_0003__THE_R_0040_0004__2008_R_0040_0005__OLYMPIC_R_0040_0006__MASCOTS) ) ).
( (IP-MAT (NP-SBJ (NUM One;{one})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NPR 2008)
(NPR Olympic;{Olympic})
(NS mascots;{mascot}))))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ modeled;{model[on]})
(PP-CLR (P-ROLE on;{on})
(NP (D a;{a})
(N panda;{panda})
(IP-PPL (NP-LGS *)
(VVN;_Cn.n_ called;{call})
(NP-PRD;{PANDA} (NPR Jing;{Jing})
(NPR Jing;{Jing}))))))
(PUNC .))
(ID 40_a_voice_of_america;p00d0252))