56_a_ted_talk_11
He was in the Nativity play.
( (IP-MAT (NP-SBJ;{JAMES} (PRO He;{he}))
(BED;_Ipr_ was;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (D the;{the})
(N Nativity;{nativity})
(N play;{play})))
(PUNC .))
(ID 56_a_ted_talk_11))
arc(r_0056_0002__was_r_0056_0003__in,r_0056_0001__He,arg0).
arc(r_0056_0002__was_r_0056_0003__in,r_0056_0004__the_r_0056_0005__Nativity_r_0056_0006__play,arg1).
fof(formula,axiom,
? [R_0056_0001__HE,R_0056_0004__THE_R_0056_0005__NATIVITY_R_0056_0006__PLAY,R_0056_0002__WAS_R_0056_0003__IN] :
( r_0056_0001__He(R_0056_0001__HE)
& r_0056_0004__the_r_0056_0005__Nativity_r_0056_0006__play(R_0056_0004__THE_R_0056_0005__NATIVITY_R_0056_0006__PLAY)
& r_0056_0002__was_r_0056_0003__in(R_0056_0002__WAS_R_0056_0003__IN)
& has_arg1(R_0056_0002__WAS_R_0056_0003__IN,R_0056_0004__THE_R_0056_0005__NATIVITY_R_0056_0006__PLAY)
& has_arg0(R_0056_0002__WAS_R_0056_0003__IN,R_0056_0001__HE) ) ).