207_a_ted_talk_11
I saw a great t-shirt recently, which said, “If a man speaks his mind in a forest, and no woman hears him, is he still wrong?”
arc(utterance_207_a_ted_talk_11_32, r_0207_0012__If, part1).
arc(r_0207_0002__saw, r_0207_0001__I, arg0).
arc(r_0207_0002__saw, r_0207_0003__a_r_0207_0005__t__hyphen__shirt, arg1).
arc(r_0207_0002__saw, r_0207_0006__recently, nim17).
arc(r_0207_0003__a_r_0207_0005__t__hyphen__shirt, r_0207_0004__great, attrib10).
arc(r_0207_0009__said, utterance_207_a_ted_talk_11_32, arg1).
arc(r_0207_0009__said, r_0207_0003__a_r_0207_0005__t__hyphen__shirt, arg0).
arc(r_0207_0012__If, r_0207_0022__and, restriction).
arc(r_0207_0012__If, r_0207_0028__is, scope).
arc(r_0207_0015__speaks, r_0207_0013__a_r_0207_0014__man, arg0).
arc(r_0207_0015__speaks, r_0207_0017__mind, arg1).
arc(r_0207_0015__speaks, r_0207_0019__a_r_0207_0020__forest, r_0207_0018__in_nim57).
arc(r_0207_0017__mind, r_0207_0013__a_r_0207_0014__man, gen).
arc(r_0207_0022__and, r_0207_0015__speaks, conj1).
arc(r_0207_0022__and, r_0207_0023__no_quant, conj2).
arc(r_0207_0023__no_quant, r_0207_0024__woman, restriction).
arc(r_0207_0023__no_quant, r_0207_0025__hears, scope).
arc(r_0207_0025__hears, r_0207_0013__a_r_0207_0014__man, arg1).
arc(r_0207_0025__hears, r_0207_0024__woman, arg0).
arc(r_0207_0028__is, r_0207_0013__a_r_0207_0014__man, arg0).
arc(r_0207_0028__is, r_0207_0030__still, nim85).
arc(r_0207_0028__is, r_0207_0031__wrong, prd).
fof(formula,axiom,
? [R_207_2_SAW,R_207_1_I,R_207_6_RECENTLY,R_207_9_SAID,R_207_3_A_T_HYPHEN_SHIRT,R_207_4_GREAT,UTTERANCE_207_A_TED_TALK_11_32] :
( i(R_207_1_I)
& recently(R_207_6_RECENTLY)
& great(R_207_4_GREAT)
& saw(R_207_2_SAW,R_207_1_I,R_207_3_A_T_HYPHEN_SHIRT)
& a_t_hyphen_shirt(R_207_3_A_T_HYPHEN_SHIRT)
& attrib10(R_207_3_A_T_HYPHEN_SHIRT,R_207_4_GREAT)
& nim17(R_207_2_SAW,R_207_6_RECENTLY)
& said(R_207_9_SAID,R_207_3_A_T_HYPHEN_SHIRT,UTTERANCE_207_A_TED_TALK_11_32)
& ! [R_207_22_AND,R_207_15_SPEAKS,R_207_17_MIND,R_207_13_A_MAN,R_207_19_A_FOREST] :
( ( a_man(R_207_13_A_MAN)
& a_forest(R_207_19_A_FOREST)
& ! [R_207_24_WOMAN] :
( woman(R_207_24_WOMAN)
=> ? [R_207_25_HEARS] : hears(R_207_25_HEARS,R_207_24_WOMAN,R_207_13_A_MAN) )
& conj2(CONJ2)
& and(R_207_22_AND)
& conj1(R_207_22_AND,R_207_15_SPEAKS)
& speaks(R_207_15_SPEAKS,R_207_13_A_MAN,R_207_17_MIND)
& mind(R_207_17_MIND)
& gen(R_207_17_MIND,R_207_13_A_MAN)
& in_nim57(R_207_15_SPEAKS,R_207_19_A_FOREST) )
=> ? [R_207_28_IS,R_207_30_STILL,R_207_31_WRONG] :
( still(R_207_30_STILL)
& wrong(R_207_31_WRONG)
& is(R_207_28_IS,R_207_13_A_MAN,R_207_31_WRONG)
& nim85(R_207_28_IS,R_207_30_STILL) ) )
& part1(PART1)
& utterance_207_a_ted_talk_11_32(UTTERANCE_207_A_TED_TALK_11_32) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBD;__ saw;{see})
(NP-OB1 (D a;{a})
(ADJP (ADJ great;{great}))
(N t_<hyphen>_shirt;{t_shirt})
(IP-REL *ICH*-174))
(ADVP-NIM (ADV recently;{recently}))
(PUNC ,)
(IP-REL-EPD-174 (NP-SBJ (RPRO which;{which}))
(VBD;_Tr_ said;{say})
(PUNC ,)
(PULQ <ldquo>)
(utterance-OB1 (CP-QUE-MAT (IP-SUB (PP-SCON (P-CONN If;{if})
(IP-ADV (ILYR (ILYR (NP-SBJ;{MAN} (D a;{a})
(N man;{man}))
(VBP;__ speaks;{speak})
(NP-OB1 (NP-GEN;{MAN} (PRO;_genm_ his;{his}))
(N mind;{mind}))
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(N forest;{forest}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (Q no;{no})
(N woman;{woman}))
(VBP;__ hears;{hear})
(NP-OB1;{MAN} (PRO him;{he})))))))
(PUNC ,)
(BEP;_La_ is;{be})
(NP-SBJ;{MAN} (PRO he;{he}))
(ADVP-NIM (ADV still;{still}))
(ADJP-PRD (ADJ wrong;{wrong})))
(PUNC ?)))
(PURQ <rdquo>)))
(ID 207_a_ted_talk_11))