Context                Previous, Next                Top


64_a_ted_talk_11
“James Robinson IS Joseph!”

%3 r_0064_0004__IS IS r_0064_0002__James_r_0064_0003__Robinson James Robinson r_0064_0004__IS->r_0064_0002__James_r_0064_0003__Robinson [arg0] r_0064_0005__Joseph Joseph r_0064_0004__IS->r_0064_0005__Joseph [prd] 
arc(r_0064_0004__IS, r_0064_0002__James_r_0064_0003__Robinson, arg0).
arc(r_0064_0004__IS, r_0064_0005__Joseph, prd).


%3 r_0064_0004__IS IS r_0064_0002__James_r_0064_0003__Robinson James Robinson r_0064_0004__IS->r_0064_0002__James_r_0064_0003__Robinson [arg0] r_0064_0005__Joseph Joseph r_0064_0004__IS->r_0064_0005__Joseph [prd] 
fof(formula,axiom,
    ? [R_64_4_IS,R_64_2_JAMES_ROBINSON,R_64_5_JOSEPH] :
      ( james_Robinson(R_64_2_JAMES_ROBINSON)
      & joseph(R_64_5_JOSEPH)
      & iS(R_64_4_IS,R_64_2_JAMES_ROBINSON,R_64_5_JOSEPH) ) ).


n64_a_ted_talk_11 n64_a_ted_talk_11_3 <ldquo> n64_a_ted_talk_11_6 James n64_a_ted_talk_11_8 Robinson n64_a_ted_talk_11_10 IS n64_a_ted_talk_11_13 Joseph n64_a_ted_talk_11_15 ! n64_a_ted_talk_11_17 <rdquo> n64_a_ted_talk_11_1 IP-MAT n64_a_ted_talk_11_2 PULQ n64_a_ted_talk_11_1->n64_a_ted_talk_11_2 n64_a_ted_talk_11_4 NP-SBJ n64_a_ted_talk_11_1->n64_a_ted_talk_11_4 n64_a_ted_talk_11_9 BEP;_Ln_ n64_a_ted_talk_11_1->n64_a_ted_talk_11_9 n64_a_ted_talk_11_11 NP-PRD n64_a_ted_talk_11_1->n64_a_ted_talk_11_11 n64_a_ted_talk_11_14 PUNC n64_a_ted_talk_11_1->n64_a_ted_talk_11_14 n64_a_ted_talk_11_16 PURQ n64_a_ted_talk_11_1->n64_a_ted_talk_11_16 n64_a_ted_talk_11_2->n64_a_ted_talk_11_3 n64_a_ted_talk_11_5 NPR n64_a_ted_talk_11_4->n64_a_ted_talk_11_5 n64_a_ted_talk_11_7 NPR n64_a_ted_talk_11_4->n64_a_ted_talk_11_7 n64_a_ted_talk_11_5->n64_a_ted_talk_11_6 n64_a_ted_talk_11_7->n64_a_ted_talk_11_8 n64_a_ted_talk_11_9->n64_a_ted_talk_11_10 n64_a_ted_talk_11_12 NPR n64_a_ted_talk_11_11->n64_a_ted_talk_11_12 n64_a_ted_talk_11_12->n64_a_ted_talk_11_13 n64_a_ted_talk_11_14->n64_a_ted_talk_11_15 n64_a_ted_talk_11_16->n64_a_ted_talk_11_17 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{JAMES} (NPR James;{James})
                          (NPR Robinson;{Robinson}))
          (BEP;_Ln_ IS;{be})
          (NP-PRD (NPR Joseph;{Joseph}))
          (PUNC !)
          (PURQ <rdquo>))
  (ID 64_a_ted_talk_11))