64_a_ted_talk_11
“James Robinson IS Joseph!”
arc(r_0064_0004__IS, r_0064_0002__James_r_0064_0003__Robinson, arg0).
arc(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) ) ).
( (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))