arc(utterance_69_a_ted_talk_11_13, z_000_69_a_ted_talk_11_16, part1).
arc(r_0069_0001__And_r_0069_0003__said, utterance_69_a_ted_talk_11_13, arg1).
arc(r_0069_0001__And_r_0069_0003__said, r_0069_0002__he, arg0).
arc(r_0069_0006__Yeah, r_0069_0008__why, nim22).
arc(r_0069_0010__Was, r_0069_0011__that, arg0).
arc(r_0069_0010__Was, r_0069_0012__wrong, prd).
arc(z_000_69_a_ted_talk_11_16, r_0069_0006__Yeah, conj1).
arc(z_000_69_a_ted_talk_11_16, r_0069_0010__Was, conj2).

fof(formula,axiom,
    ? [R_0069_0008__WHY,R_0069_0006__YEAH,R_0069_0011__THAT,R_0069_0012__WRONG,R_0069_0010__WAS,Z_000_69_A_TED_TALK_11_16,UTTERANCE_69_A_TED_TALK_11_13,R_0069_0002__HE,R_0069_0001__AND_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_0001__And_r_0069_0003__said(R_0069_0001__AND_R_0069_0003__SAID)
      & has_arg0(R_0069_0001__AND_R_0069_0003__SAID,R_0069_0002__HE)
      & has_arg1(R_0069_0001__AND_R_0069_0003__SAID,UTTERANCE_69_A_TED_TALK_11_13)
      & utterance_69_a_ted_talk_11_13(UTTERANCE_69_A_TED_TALK_11_13)
      & has_part1(UTTERANCE_69_A_TED_TALK_11_13,Z_000_69_A_TED_TALK_11_16)
      & z_000_69_a_ted_talk_11_16(Z_000_69_A_TED_TALK_11_16)
      & has_conj2(Z_000_69_A_TED_TALK_11_16,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_conj1(Z_000_69_A_TED_TALK_11_16,R_0069_0006__YEAH)
      & r_0069_0006__Yeah(R_0069_0006__YEAH)
      & has_nim22(R_0069_0006__YEAH,R_0069_0008__WHY) ) ).

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{KING2} (PRO he;{he}))
          (VBD;_Tr_ said;{say})
          (PUNC ,)
          (PULQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (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))