40_a_voice_of_america
One of the 2008 Olympic mascots is modeled on a panda called Jing Jing.

n40_a_voice_of_america n40_a_voice_of_america__1_1_1_1 One n40_a_voice_of_america__1_1_2_1_1 of n40_a_voice_of_america__1_1_2_2_1_1 the n40_a_voice_of_america__1_1_2_2_2_1 2008 n40_a_voice_of_america__1_1_2_2_3_1 Olympic n40_a_voice_of_america__1_1_2_2_4_1 mascots n40_a_voice_of_america__1_2_1 is n40_a_voice_of_america__1_3_1_1 * n40_a_voice_of_america__1_3_2_1 modeled n40_a_voice_of_america__1_3_3_1_1 on n40_a_voice_of_america__1_3_3_2_1_1 a n40_a_voice_of_america__1_3_3_2_2_1 panda n40_a_voice_of_america__1_3_3_2_3_1_1 * n40_a_voice_of_america__1_3_3_2_3_2_1 called n40_a_voice_of_america__1_3_3_2_3_3_1_1 Jing n40_a_voice_of_america__1_3_3_2_3_3_2_1 Jing n40_a_voice_of_america__1_4_1 . n40_a_voice_of_america__1 IP-MAT n40_a_voice_of_america__1_1 NP-SBJ n40_a_voice_of_america__1->n40_a_voice_of_america__1_1 n40_a_voice_of_america__1_2 BEP;_cat_VePASS_ n40_a_voice_of_america__1->n40_a_voice_of_america__1_2 n40_a_voice_of_america__1_3 IP-PPL-CAT n40_a_voice_of_america__1->n40_a_voice_of_america__1_3 n40_a_voice_of_america__1_4 PUNC n40_a_voice_of_america__1->n40_a_voice_of_america__1_4 n40_a_voice_of_america__1_1_1 NUM n40_a_voice_of_america__1_1->n40_a_voice_of_america__1_1_1 n40_a_voice_of_america__1_1_2 PP n40_a_voice_of_america__1_1->n40_a_voice_of_america__1_1_2 n40_a_voice_of_america__1_1_1->n40_a_voice_of_america__1_1_1_1 n40_a_voice_of_america__1_1_2_1 P-ROLE n40_a_voice_of_america__1_1_2->n40_a_voice_of_america__1_1_2_1 n40_a_voice_of_america__1_1_2_2 NP n40_a_voice_of_america__1_1_2->n40_a_voice_of_america__1_1_2_2 n40_a_voice_of_america__1_1_2_1->n40_a_voice_of_america__1_1_2_1_1 n40_a_voice_of_america__1_1_2_2_1 D n40_a_voice_of_america__1_1_2_2->n40_a_voice_of_america__1_1_2_2_1 n40_a_voice_of_america__1_1_2_2_2 NPR n40_a_voice_of_america__1_1_2_2->n40_a_voice_of_america__1_1_2_2_2 n40_a_voice_of_america__1_1_2_2_3 NPR n40_a_voice_of_america__1_1_2_2->n40_a_voice_of_america__1_1_2_2_3 n40_a_voice_of_america__1_1_2_2_4 NS n40_a_voice_of_america__1_1_2_2->n40_a_voice_of_america__1_1_2_2_4 n40_a_voice_of_america__1_1_2_2_1->n40_a_voice_of_america__1_1_2_2_1_1 n40_a_voice_of_america__1_1_2_2_2->n40_a_voice_of_america__1_1_2_2_2_1 n40_a_voice_of_america__1_1_2_2_3->n40_a_voice_of_america__1_1_2_2_3_1 n40_a_voice_of_america__1_1_2_2_4->n40_a_voice_of_america__1_1_2_2_4_1 n40_a_voice_of_america__1_2->n40_a_voice_of_america__1_2_1 n40_a_voice_of_america__1_3_1 NP-LGS n40_a_voice_of_america__1_3->n40_a_voice_of_america__1_3_1 n40_a_voice_of_america__1_3_2 VVN;_Tn.pr_ n40_a_voice_of_america__1_3->n40_a_voice_of_america__1_3_2 n40_a_voice_of_america__1_3_3 PP-CLR n40_a_voice_of_america__1_3->n40_a_voice_of_america__1_3_3 n40_a_voice_of_america__1_3_1->n40_a_voice_of_america__1_3_1_1 n40_a_voice_of_america__1_3_2->n40_a_voice_of_america__1_3_2_1 n40_a_voice_of_america__1_3_3_1 P-ROLE n40_a_voice_of_america__1_3_3->n40_a_voice_of_america__1_3_3_1 n40_a_voice_of_america__1_3_3_2 NP n40_a_voice_of_america__1_3_3->n40_a_voice_of_america__1_3_3_2 n40_a_voice_of_america__1_3_3_1->n40_a_voice_of_america__1_3_3_1_1 n40_a_voice_of_america__1_3_3_2_1 D n40_a_voice_of_america__1_3_3_2->n40_a_voice_of_america__1_3_3_2_1 n40_a_voice_of_america__1_3_3_2_2 N n40_a_voice_of_america__1_3_3_2->n40_a_voice_of_america__1_3_3_2_2 n40_a_voice_of_america__1_3_3_2_3 IP-PPL n40_a_voice_of_america__1_3_3_2->n40_a_voice_of_america__1_3_3_2_3 n40_a_voice_of_america__1_3_3_2_1->n40_a_voice_of_america__1_3_3_2_1_1 n40_a_voice_of_america__1_3_3_2_2->n40_a_voice_of_america__1_3_3_2_2_1 n40_a_voice_of_america__1_3_3_2_3_1 NP-LGS n40_a_voice_of_america__1_3_3_2_3->n40_a_voice_of_america__1_3_3_2_3_1 n40_a_voice_of_america__1_3_3_2_3_2 VVN;_Cn.n_ n40_a_voice_of_america__1_3_3_2_3->n40_a_voice_of_america__1_3_3_2_3_2 n40_a_voice_of_america__1_3_3_2_3_3 NP-OB1 n40_a_voice_of_america__1_3_3_2_3->n40_a_voice_of_america__1_3_3_2_3_3 n40_a_voice_of_america__1_3_3_2_3_1->n40_a_voice_of_america__1_3_3_2_3_1_1 n40_a_voice_of_america__1_3_3_2_3_2->n40_a_voice_of_america__1_3_3_2_3_2_1 n40_a_voice_of_america__1_3_3_2_3_3_1 NPR n40_a_voice_of_america__1_3_3_2_3_3->n40_a_voice_of_america__1_3_3_2_3_3_1 n40_a_voice_of_america__1_3_3_2_3_3_2 NPR n40_a_voice_of_america__1_3_3_2_3_3->n40_a_voice_of_america__1_3_3_2_3_3_2 n40_a_voice_of_america__1_3_3_2_3_3_1->n40_a_voice_of_america__1_3_3_2_3_3_1_1 n40_a_voice_of_america__1_3_3_2_3_3_2->n40_a_voice_of_america__1_3_3_2_3_3_2_1 n40_a_voice_of_america__1_4->n40_a_voice_of_america__1_4_1
( (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-OB1;{PANDA} (NPR Jing;{Jing})
                                                          (NPR Jing;{Jing}))))))
          (PUNC .))
  (ID 40_a_voice_of_america;p00d0252))



%3 r_0040_0012__called called z_0040_5005___star_ * r_0040_0012__called->z_0040_5005___star_ [arg0] r_0040_0013__Jing_r_0040_0014__Jing Jing Jing r_0040_0012__called->r_0040_0013__Jing_r_0040_0014__Jing [arg1] r_0040_0010__a_r_0040_0011__panda a panda r_0040_0012__called->r_0040_0010__a_r_0040_0011__panda [inv_arg2] r_0040_0008__modeled_r_0040_0009__on modeled on r_0040_0008__modeled_r_0040_0009__on->r_0040_0010__a_r_0040_0011__panda [arg2] z_0040_5007___star_ * r_0040_0008__modeled_r_0040_0009__on->z_0040_5007___star_ [arg0] r_0040_0001__One One r_0040_0008__modeled_r_0040_0009__on->r_0040_0001__One [arg1] r_0040_0003__the_r_0040_0004__2008_r_0040_0005__Olympic_r_0040_0006__mascots the 2008 Olympic mascots r_0040_0001__One->r_0040_0003__the_r_0040_0004__2008_r_0040_0005__Olympic_r_0040_0006__mascots of r_0040_0007__is is r_0040_0007__is->r_0040_0008__modeled_r_0040_0009__on [scope]
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_r_0040_0009__on,scope).
arc(r_0040_0008__modeled_r_0040_0009__on,r_0040_0001__One,arg1).
arc(r_0040_0008__modeled_r_0040_0009__on,r_0040_0010__a_r_0040_0011__panda,arg2).
arc(r_0040_0008__modeled_r_0040_0009__on,z_0040_5007___star_,arg0).
arc(r_0040_0012__called,r_0040_0010__a_r_0040_0011__panda,inv_arg2).
arc(r_0040_0012__called,r_0040_0013__Jing_r_0040_0014__Jing,arg1).
arc(r_0040_0012__called,z_0040_5005___star_,arg0).



%3 r_0040_0001__One One r_0040_0003__the_r_0040_0004__2008_r_0040_0005__Olympic_r_0040_0006__mascots the 2008 Olympic mascots r_0040_0001__One->r_0040_0003__the_r_0040_0004__2008_r_0040_0005__Olympic_r_0040_0006__mascots of r_0040_0007__is_r_0040_0008__modeled_r_0040_0009__on is modeled on r_0040_0007__is_r_0040_0008__modeled_r_0040_0009__on->r_0040_0001__One [arg1] r_0040_0010__a_r_0040_0011__panda a panda r_0040_0007__is_r_0040_0008__modeled_r_0040_0009__on->r_0040_0010__a_r_0040_0011__panda [arg2] z_0040_5007___star_ * r_0040_0007__is_r_0040_0008__modeled_r_0040_0009__on->z_0040_5007___star_ [arg0] r_0040_0012__called called r_0040_0010__a_r_0040_0011__panda->r_0040_0012__called [inv_arg2] r_0040_0013__Jing_r_0040_0014__Jing Jing Jing r_0040_0012__called->r_0040_0013__Jing_r_0040_0014__Jing [arg1] z_0040_5005___star_ * r_0040_0012__called->z_0040_5005___star_ [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_0013__JING_R_0040_0014__JING,Z_0040_5005___STAR_,R_0040_0012__CALLED,R_0040_0010__A_R_0040_0011__PANDA,Z_0040_5007___STAR_,R_0040_0007__IS_R_0040_0008__MODELED_R_0040_0009__ON] :
      ( 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_0013__Jing_r_0040_0014__Jing(R_0040_0013__JING_R_0040_0014__JING)
      & z_0040_5005___star_(Z_0040_5005___STAR_)
      & z_0040_5007___star_(Z_0040_5007___STAR_)
      & r_0040_0007__is_r_0040_0008__modeled_r_0040_0009__on(R_0040_0007__IS_R_0040_0008__MODELED_R_0040_0009__ON)
      & has_arg0(R_0040_0007__IS_R_0040_0008__MODELED_R_0040_0009__ON,Z_0040_5007___STAR_)
      & has_arg2(R_0040_0007__IS_R_0040_0008__MODELED_R_0040_0009__ON,R_0040_0010__A_R_0040_0011__PANDA)
      & r_0040_0010__a_r_0040_0011__panda(R_0040_0010__A_R_0040_0011__PANDA)
      & has_inv_arg2(R_0040_0010__A_R_0040_0011__PANDA,R_0040_0012__CALLED)
      & r_0040_0012__called(R_0040_0012__CALLED)
      & has_arg0(R_0040_0012__CALLED,Z_0040_5005___STAR_)
      & has_arg1(R_0040_0012__CALLED,R_0040_0013__JING_R_0040_0014__JING)
      & has_arg1(R_0040_0007__IS_R_0040_0008__MODELED_R_0040_0009__ON,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) ) ).