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_40_7_IS_MODELED,Z_40_A_VOICE_OF_AMERICA_20,R_40_1_ONE,R_40_3_THE_2008_OLYMPIC_MASCOTS,R_40_12_CALLED,Z_40_A_VOICE_OF_AMERICA_33,R_40_10_A_PANDA,R_40_13_JING_JING] :
( the_2008_Olympic_mascots(R_40_3_THE_2008_OLYMPIC_MASCOTS)
& a_panda(R_40_10_A_PANDA)
& jing_Jing(R_40_13_JING_JING)
& is_modeled(R_40_7_IS_MODELED,Z_40_A_VOICE_OF_AMERICA_20,R_40_1_ONE)
& one(R_40_1_ONE)
& of(R_40_1_ONE,R_40_3_THE_2008_OLYMPIC_MASCOTS)
& on_clr27(R_40_7_IS_MODELED,R_40_10_A_PANDA)
& called(R_40_12_CALLED,Z_40_A_VOICE_OF_AMERICA_33,R_40_10_A_PANDA,R_40_13_JING_JING) ) ).
( (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))