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,
? [Z_100_A_TED_TALK_11_1,R_100_2_BEING,R_100_1_SHAKESPEARE,R_100_3_SEVEN] :
( shakespeare(R_100_1_SHAKESPEARE)
& seven(R_100_3_SEVEN)
& z_100_a_ted_talk_11_1(Z_100_A_TED_TALK_11_1)
& prd(Z_100_A_TED_TALK_11_1,R_100_2_BEING)
& being(R_100_2_BEING,R_100_1_SHAKESPEARE,R_100_3_SEVEN) ) ).
( (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))