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_0207_0001__I,R_0207_0004__GREAT,R_0207_0003__A_R_0207_0005__T__HYPHEN__SHIRT,R_0207_0006__RECENTLY,R_0207_0002__SAW,UTTERANCE_207_A_TED_TALK_11_32,R_0207_0009__SAID] :
( r_0207_0001__I(R_0207_0001__I)
& r_0207_0004__great(R_0207_0004__GREAT)
& r_0207_0006__recently(R_0207_0006__RECENTLY)
& r_0207_0009__said(R_0207_0009__SAID)
& has_arg0(R_0207_0009__SAID,R_0207_0003__A_R_0207_0005__T__HYPHEN__SHIRT)
& r_0207_0003__a_r_0207_0005__t__hyphen__shirt(R_0207_0003__A_R_0207_0005__T__HYPHEN__SHIRT)
& has_attrib10(R_0207_0003__A_R_0207_0005__T__HYPHEN__SHIRT,R_0207_0004__GREAT)
& has_arg1(R_0207_0009__SAID,UTTERANCE_207_A_TED_TALK_11_32)
& utterance_207_a_ted_talk_11_32(UTTERANCE_207_A_TED_TALK_11_32)
& ! [R_0207_0022__AND,R_0207_0013__A_R_0207_0014__MAN,R_0207_0017__MIND,R_0207_0019__A_R_0207_0020__FOREST,R_0207_0015__SPEAKS] :
( ( r_0207_0013__a_r_0207_0014__man(R_0207_0013__A_R_0207_0014__MAN)
& r_0207_0019__a_r_0207_0020__forest(R_0207_0019__A_R_0207_0020__FOREST)
& r_0207_0022__and(R_0207_0022__AND)
& ! [R_0207_0024__WOMAN] :
( r_0207_0024__woman(R_0207_0024__WOMAN)
=> ? [R_0207_0025__HEARS] :
( r_0207_0025__hears(R_0207_0025__HEARS)
& has_arg0(R_0207_0025__HEARS,R_0207_0024__WOMAN)
& has_arg1(R_0207_0025__HEARS,R_0207_0013__A_R_0207_0014__MAN) ) )
& has_conj1(R_0207_0022__AND,R_0207_0015__SPEAKS)
& r_0207_0015__speaks(R_0207_0015__SPEAKS)
& has_r_0207_0018__in_nim57(R_0207_0015__SPEAKS,R_0207_0019__A_R_0207_0020__FOREST)
& has_arg1(R_0207_0015__SPEAKS,R_0207_0017__MIND)
& r_0207_0017__mind(R_0207_0017__MIND)
& has_gen(R_0207_0017__MIND,R_0207_0013__A_R_0207_0014__MAN)
& has_arg0(R_0207_0015__SPEAKS,R_0207_0013__A_R_0207_0014__MAN) )
=> ? [R_0207_0030__STILL,R_0207_0031__WRONG,R_0207_0028__IS] :
( r_0207_0030__still(R_0207_0030__STILL)
& r_0207_0031__wrong(R_0207_0031__WRONG)
& r_0207_0028__is(R_0207_0028__IS)
& has_prd(R_0207_0028__IS,R_0207_0031__WRONG)
& has_nim85(R_0207_0028__IS,R_0207_0030__STILL)
& has_arg0(R_0207_0028__IS,R_0207_0013__A_R_0207_0014__MAN) ) )
& r_0207_0002__saw(R_0207_0002__SAW)
& has_nim17(R_0207_0002__SAW,R_0207_0006__RECENTLY)
& has_arg1(R_0207_0002__SAW,R_0207_0003__A_R_0207_0005__T__HYPHEN__SHIRT)
& has_arg0(R_0207_0002__SAW,R_0207_0001__I) ) ).
( (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))