Context                Previous, Next                Top


100_a_ted_talk_11
Shakespeare being seven?

n100_a_ted_talk_11 n100_a_ted_talk_11__1_1_1_1 Shakespeare n100_a_ted_talk_11__1_2_1 being n100_a_ted_talk_11__1_3_1_1 seven n100_a_ted_talk_11__1_4_1 ? n100_a_ted_talk_11__1 IP-PPL n100_a_ted_talk_11__1_1 NP-SBJ n100_a_ted_talk_11__1->n100_a_ted_talk_11__1_1 n100_a_ted_talk_11__1_2 BAG;_Ln_ n100_a_ted_talk_11__1->n100_a_ted_talk_11__1_2 n100_a_ted_talk_11__1_3 NP-PRD n100_a_ted_talk_11__1->n100_a_ted_talk_11__1_3 n100_a_ted_talk_11__1_4 PUNC n100_a_ted_talk_11__1->n100_a_ted_talk_11__1_4 n100_a_ted_talk_11__1_1_1 NPR n100_a_ted_talk_11__1_1->n100_a_ted_talk_11__1_1_1 n100_a_ted_talk_11__1_1_1->n100_a_ted_talk_11__1_1_1_1 n100_a_ted_talk_11__1_2->n100_a_ted_talk_11__1_2_1 n100_a_ted_talk_11__1_3_1 NUM n100_a_ted_talk_11__1_3->n100_a_ted_talk_11__1_3_1 n100_a_ted_talk_11__1_3_1->n100_a_ted_talk_11__1_3_1_1 n100_a_ted_talk_11__1_4->n100_a_ted_talk_11__1_4_1 
( (IP-PPL (NP-SBJ;{SHAKESPEARE} (NPR Shakespeare;{Shakespeare}))
          (BAG;_Ln_ being;{be})
          (NP-PRD (NUM seven;{seven}))
          (PUNC ?))
  (ID 100_a_ted_talk_11))


%3 r_0100_0002__being being r_0100_0003__seven seven r_0100_0002__being->r_0100_0003__seven [prd] r_0100_0001__Shakespeare Shakespeare r_0100_0002__being->r_0100_0001__Shakespeare [arg0] 
arc(r_0100_0002__being,r_0100_0001__Shakespeare,arg0).
arc(r_0100_0002__being,r_0100_0003__seven,prd).


%3 r_0100_0002__being being r_0100_0001__Shakespeare Shakespeare r_0100_0002__being->r_0100_0001__Shakespeare [arg0] r_0100_0003__seven seven r_0100_0002__being->r_0100_0003__seven [prd] 
fof(formula,axiom,
    ? [R_0100_0001__SHAKESPEARE,R_0100_0003__SEVEN,R_0100_0002__BEING] :
      ( r_0100_0001__Shakespeare(R_0100_0001__SHAKESPEARE)
      & r_0100_0003__seven(R_0100_0003__SEVEN)
      & 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) ) ).