arc(utterance_51_a_ted_talk_11_15, r_0051_0008__nobody_quant, part1).
arc(r_0051_0001__And_r_0051_0004__said, utterance_51_a_ted_talk_11_15, arg1).
arc(r_0051_0001__And_r_0051_0004__said, r_0051_0002__the_r_0051_0003__teacher, arg0).
arc(r_0051_0007__But_r_0051_0009__knows, r_0051_0012__looks, arg1).
arc(r_0051_0007__But_r_0051_0009__knows, z_000_51_a_ted_talk_11_19, arg0).
arc(r_0051_0008__nobody_quant, r_0051_0007__But_r_0051_0009__knows, scope).
arc(r_0051_0008__nobody_quant, z_000_51_a_ted_talk_11_19, restriction).
arc(r_0051_0012__looks, r_0051_0010__what, r_0051_0013__like_clr37).
arc(r_0051_0012__looks, r_0051_0011__God, arg0).

fof(formula,axiom,
    ? [UTTERANCE_51_A_TED_TALK_11_15,R_0051_0002__THE_R_0051_0003__TEACHER,R_0051_0001__AND_R_0051_0004__SAID] :
      ( r_0051_0002__the_r_0051_0003__teacher(R_0051_0002__THE_R_0051_0003__TEACHER)
      & r_0051_0001__And_r_0051_0004__said(R_0051_0001__AND_R_0051_0004__SAID)
      & has_arg0(R_0051_0001__AND_R_0051_0004__SAID,R_0051_0002__THE_R_0051_0003__TEACHER)
      & has_arg1(R_0051_0001__AND_R_0051_0004__SAID,UTTERANCE_51_A_TED_TALK_11_15)
      & utterance_51_a_ted_talk_11_15(UTTERANCE_51_A_TED_TALK_11_15)
      & ! [Z_000_51_A_TED_TALK_11_19] :
          ( z_000_51_a_ted_talk_11_19(Z_000_51_A_TED_TALK_11_19)
         => ? [R_0051_0010__WHAT,R_0051_0011__GOD,R_0051_0012__LOOKS,R_0051_0007__BUT_R_0051_0009__KNOWS] :
              ( r_0051_0010__what(R_0051_0010__WHAT)
              & r_0051_0011__God(R_0051_0011__GOD)
              & r_0051_0007__But_r_0051_0009__knows(R_0051_0007__BUT_R_0051_0009__KNOWS)
              & has_arg0(R_0051_0007__BUT_R_0051_0009__KNOWS,Z_000_51_A_TED_TALK_11_19)
              & has_arg1(R_0051_0007__BUT_R_0051_0009__KNOWS,R_0051_0012__LOOKS)
              & r_0051_0012__looks(R_0051_0012__LOOKS)
              & has_arg0(R_0051_0012__LOOKS,R_0051_0011__GOD)
              & has_r_0051_0013__like_clr37(R_0051_0012__LOOKS,R_0051_0010__WHAT) ) ) ) ).

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{TEACHER} (D the;{the})
                            (N teacher;{teacher}))
          (VBD;_Tr_ said;{say})
          (PUNC ,)
          (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (CONJ;_cl_ But;{but})
                                 (NP-SBJ (Q;_nphd_ nobody;{nobody}))
                                 (VBP;_Tf_ knows;{know})
                                 (CP-QUE-OB1 (IP-SUB (NP-163 (WPRO what;{what}))
                                                     (NP-SBJ (N God;{god}))
                                                     (VBP;_Ipr_ looks;{look[like]})
                                                     (PP-CLR (P-ROLE like;{like})
                                                             (NP *ICH*-163))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 51_a_ted_talk_11))