51_a_ted_talk_11
And the teacher said, “But nobody knows what God looks like.”
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,
? [R_51_1_AND_SAID,R_51_2_THE_TEACHER,UTTERANCE_51_A_TED_TALK_11_15] :
( the_teacher(R_51_2_THE_TEACHER)
& and_said(R_51_1_AND_SAID,R_51_2_THE_TEACHER,UTTERANCE_51_A_TED_TALK_11_15)
& ! [Z_51_A_TED_TALK_11_19] :
( true
=> ? [R_51_7_BUT_KNOWS,R_51_12_LOOKS,R_51_11_GOD,R_51_10_WHAT] :
( god(R_51_11_GOD)
& what(R_51_10_WHAT)
& but_knows(R_51_7_BUT_KNOWS,Z_51_A_TED_TALK_11_19,R_51_12_LOOKS)
& looks(R_51_12_LOOKS,R_51_11_GOD)
& like_clr37(R_51_12_LOOKS,R_51_10_WHAT) ) )
& part1(PART1)
& utterance_51_a_ted_talk_11_15(UTTERANCE_51_A_TED_TALK_11_15) ) ).
( (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))