97_a_ted_talk_11
You don't think of Shakespeare having a father, do you?
arc(r_0097_0002__do_r_0097_0003__n_apos_t_r_0097_0004__think, r_0097_0001__You, arg0).
arc(r_0097_0002__do_r_0097_0003__n_apos_t_r_0097_0004__think, r_0097_0007__having, r_0097_0005__of_clr14).
arc(r_0097_0007__having, r_0097_0006__Shakespeare, arg0).
arc(r_0097_0007__having, r_0097_0008__a_r_0097_0009__father, arg1).
fof(formula,axiom,
? [R_0097_0001__YOU,R_0097_0006__SHAKESPEARE,R_0097_0008__A_R_0097_0009__FATHER,R_0097_0007__HAVING,R_0097_0002__DO_R_0097_0003__N_APOS_T_R_0097_0004__THINK] :
( r_0097_0001__You(R_0097_0001__YOU)
& r_0097_0006__Shakespeare(R_0097_0006__SHAKESPEARE)
& r_0097_0008__a_r_0097_0009__father(R_0097_0008__A_R_0097_0009__FATHER)
& ~ ( has_r_0097_0005__of_clr14(R_0097_0002__DO_R_0097_0003__N_APOS_T_R_0097_0004__THINK,R_0097_0007__HAVING)
& r_0097_0007__having(R_0097_0007__HAVING)
& has_arg1(R_0097_0007__HAVING,R_0097_0008__A_R_0097_0009__FATHER)
& has_arg0(R_0097_0007__HAVING,R_0097_0006__SHAKESPEARE)
& has_arg0(R_0097_0002__DO_R_0097_0003__N_APOS_T_R_0097_0004__THINK,R_0097_0001__YOU) ) ) ).
( (IP-MAT (NP-SBJ (PRO You;{you}))
(DOP do;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_Ipr_ think;{think[of]})
(PP-CLR (P-ROLE of;{of})
(IP-PPL3 (NP-SBJ;{SHAKESPEARE} (NPR Shakespeare;{Shakespeare}))
(HAG;_Tn_ having;{have})
(NP-OB1 (D a;{a})
(N father;{father}))))
(PUNC ,)
(CP-QUE-TAG (IP-SUB (DOP do;{do})
(NP-SBJ (PRO you;{you}))))
(PUNC ?))
(ID 97_a_ted_talk_11))