100_a_ted_talk_11
Shakespeare being seven?
arc(r_0100_0002__being, r_0100_0001__Shakespeare, arg0).
arc(r_0100_0002__being, r_0100_0003__seven, prd).
arc(z_000_100_a_ted_talk_11_1, r_0100_0002__being, prd).
fof(formula,axiom,
? [R_0100_0001__SHAKESPEARE,R_0100_0003__SEVEN,R_0100_0002__BEING,Z_000_100_A_TED_TALK_11_1] :
( r_0100_0001__Shakespeare(R_0100_0001__SHAKESPEARE)
& r_0100_0003__seven(R_0100_0003__SEVEN)
& z_000_100_a_ted_talk_11_1(Z_000_100_A_TED_TALK_11_1)
& has_prd(Z_000_100_A_TED_TALK_11_1,R_0100_0002__BEING)
& r_0100_0002__being(R_0100_0002__BEING)
& has_prd(R_0100_0002__BEING,R_0100_0003__SEVEN)
& has_arg0(R_0100_0002__BEING,R_0100_0001__SHAKESPEARE) ) ).
( (FRAG (IP-PPL-PRD (NP-SBJ;{SHAKESPEARE} (NPR Shakespeare;{Shakespeare}))
(BAG;_Ln_ being;{be})
(NP-PRD (NUM seven;{seven})))
(PUNC ?))
(ID 100_a_ted_talk_11))