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

arc(r_0051_0004__said,r_0051_0002__the_r_0051_0003__teacher,arg0).
arc(r_0051_0004__said,r_0051_0007__But,arg1).
arc(r_0051_0007__But,r_0051_0008__nobody__quant,part1).
arc(r_0051_0008__nobody__quant,r_0051_0009__knows,scope).
arc(r_0051_0008__nobody__quant,z_0051_5005,restriction).
arc(r_0051_0009__knows,r_0051_0012__looks_r_0051_0013__like,arg1).
arc(r_0051_0009__knows,z_0051_5005,arg0).
arc(r_0051_0012__looks_r_0051_0013__like,r_0051_0010__what,arg1).
arc(r_0051_0012__looks_r_0051_0013__like,r_0051_0011__God,arg0).

fof(formula,axiom,
    ? [R_0051_0002__THE_R_0051_0003__TEACHER,R_0051_0007__BUT,R_0051_0004__SAID] :
      ( r_0051_0002__the_r_0051_0003__teacher(R_0051_0002__THE_R_0051_0003__TEACHER)
      & r_0051_0004__said(R_0051_0004__SAID)
      & has_arg1(R_0051_0004__SAID,R_0051_0007__BUT)
      & r_0051_0007__But(R_0051_0007__BUT)
      & ! [Z_0051_5005] :
          ( z_0051_5005(Z_0051_5005)
         => ? [R_0051_0010__WHAT,R_0051_0011__GOD,R_0051_0012__LOOKS_R_0051_0013__LIKE,R_0051_0009__KNOWS] :
              ( r_0051_0010__what(R_0051_0010__WHAT)
              & r_0051_0011__God(R_0051_0011__GOD)
              & r_0051_0009__knows(R_0051_0009__KNOWS)
              & has_arg0(R_0051_0009__KNOWS,Z_0051_5005)
              & has_arg1(R_0051_0009__KNOWS,R_0051_0012__LOOKS_R_0051_0013__LIKE)
              & r_0051_0012__looks_r_0051_0013__like(R_0051_0012__LOOKS_R_0051_0013__LIKE)
              & has_arg0(R_0051_0012__LOOKS_R_0051_0013__LIKE,R_0051_0011__GOD)
              & has_arg1(R_0051_0012__LOOKS_R_0051_0013__LIKE,R_0051_0010__WHAT) ) )
      & has_arg0(R_0051_0004__SAID,R_0051_0002__THE_R_0051_0003__TEACHER) ) ).