( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{KING2} (PRO he;{he}))
          (VBD;_Tr_ said;{say})
          (PUNC ,)
          (PULQ <ldquo>)
          (CP-QUE-OB1 (IP-SUB (ILYR (ILYR (INTJ Yeah)
                                          (PUNC ,)
                                          (ADVP-NIM (WADV why;{why}))
                                          (PUNC ?))
                                    (CONJP (ILYR (BED;_La_ Was;{be})
                                                 (NP-SBJ (D;_nphd_ that;{that}))
                                                 (ADJP-PRD (ADJ wrong;{wrong}))))))
                      (PUNC ?))
          (PURQ <rdquo>))
  (ID 69_a_ted_talk_11))

arc(r_0069_0003__said,r_0069_0002__he,arg0).
arc(r_0069_0003__said,z_0069_5002,arg1).
arc(r_0069_0010__Was,r_0069_0011__that,arg0).
arc(r_0069_0010__Was,r_0069_0012__wrong,prd).
arc(z_0069_5002,r_0069_0010__Was,conj2).
arc(z_0069_5002,z_0069_5004,conj1).
arc(z_0069_5004,r_0069_0008__why,nim).

fof(formula,axiom,
    ? [R_0069_0002__HE,R_0069_0011__THAT,R_0069_0012__WRONG,R_0069_0010__WAS,R_0069_0008__WHY,Z_0069_5004,Z_0069_5002,R_0069_0003__SAID] :
      ( r_0069_0002__he(R_0069_0002__HE)
      & r_0069_0008__why(R_0069_0008__WHY)
      & r_0069_0011__that(R_0069_0011__THAT)
      & r_0069_0012__wrong(R_0069_0012__WRONG)
      & r_0069_0003__said(R_0069_0003__SAID)
      & has_arg1(R_0069_0003__SAID,Z_0069_5002)
      & z_0069_5002(Z_0069_5002)
      & has_conj1(Z_0069_5002,Z_0069_5004)
      & z_0069_5004(Z_0069_5004)
      & has_nim(Z_0069_5004,R_0069_0008__WHY)
      & has_conj2(Z_0069_5002,R_0069_0010__WAS)
      & r_0069_0010__Was(R_0069_0010__WAS)
      & has_prd(R_0069_0010__WAS,R_0069_0012__WRONG)
      & has_arg0(R_0069_0010__WAS,R_0069_0011__THAT)
      & has_arg0(R_0069_0003__SAID,R_0069_0002__HE) ) ).