( (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))

arc(r_0097_0002__do_r_0097_0004__think,r_0097_0001__You,arg0).
arc(r_0097_0002__do_r_0097_0004__think,r_0097_0007__having,r_0097_0005__of__clr).
arc(r_0097_0002__do_r_0097_0004__think,r_0097_0011__do,tag).
arc(r_0097_0003__n_apos_t,r_0097_0002__do_r_0097_0004__think,keep_scope).
arc(r_0097_0007__having,r_0097_0006__Shakespeare,arg0).
arc(r_0097_0007__having,r_0097_0008__a_r_0097_0009__father,arg1).
arc(r_0097_0011__do,r_0097_0001__You,arg0).

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_0011__DO,R_0097_0002__DO_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)
        & r_0097_0002__do_r_0097_0004__think(R_0097_0002__DO_R_0097_0004__THINK)
        & has_tag(R_0097_0002__DO_R_0097_0004__THINK,R_0097_0011__DO)
        & r_0097_0011__do(R_0097_0011__DO)
        & has_arg0(R_0097_0011__DO,R_0097_0001__YOU)
        & has_r_0097_0005__of__clr(R_0097_0002__DO_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_0004__THINK,R_0097_0001__YOU) ) ).