( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;__ said;{say})
          (PUNC ,)
          (PULQ <ldquo>)
          (CP-QUE-OB1 (IP-SUB (NP-SBJ (WPRO What;{what}))
                              (VBD;__ happened;{happen}))
                      (PUNC ?))
          (PURQ <rdquo>))
  (ID 235_a_ted_talk_11))

arc(r_0235_0002__said,r_0235_0001__I,arg0).
arc(r_0235_0002__said,r_0235_0006__happened,arg1).
arc(r_0235_0006__happened,r_0235_0005__What,arg0).

fof(formula,axiom,
    ? [R_0235_0001__I,R_0235_0005__WHAT,R_0235_0006__HAPPENED,R_0235_0002__SAID] :
      ( r_0235_0001__I(R_0235_0001__I)
      & r_0235_0005__What(R_0235_0005__WHAT)
      & r_0235_0002__said(R_0235_0002__SAID)
      & has_arg1(R_0235_0002__SAID,R_0235_0006__HAPPENED)
      & r_0235_0006__happened(R_0235_0006__HAPPENED)
      & has_arg0(R_0235_0006__HAPPENED,R_0235_0005__WHAT)
      & has_arg0(R_0235_0002__SAID,R_0235_0001__I) ) ).