206_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?”
( (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 206_a_ted_talk_11))
arc(r_0206_0002__saw,r_0206_0001__I,arg0).
arc(r_0206_0002__saw,r_0206_0003__a_r_0206_0005__t__hyphen__shirt,arg1).
arc(r_0206_0002__saw,r_0206_0006__recently,nim).
arc(r_0206_0003__a_r_0206_0005__t__hyphen__shirt,r_0206_0004__great,attrib).
arc(r_0206_0009__said,r_0206_0003__a_r_0206_0005__t__hyphen__shirt,arg0).
arc(r_0206_0009__said,z_0206_5004__utterance,arg1).
arc(r_0206_0012__If,r_0206_0022__and,restriction).
arc(r_0206_0012__If,r_0206_0028__is,scope).
arc(r_0206_0015__speaks,r_0206_0013__a_r_0206_0014__man,arg0).
arc(r_0206_0015__speaks,r_0206_0017__mind,arg1).
arc(r_0206_0015__speaks,r_0206_0019__a_r_0206_0020__forest,r_0206_0018__in__nim).
arc(r_0206_0017__mind,r_0206_0013__a_r_0206_0014__man,gen).
arc(r_0206_0022__and,r_0206_0015__speaks,conj1).
arc(r_0206_0022__and,r_0206_0023__no__quant,conj2).
arc(r_0206_0023__no__quant,r_0206_0024__woman,restriction).
arc(r_0206_0023__no__quant,r_0206_0025__hears,scope).
arc(r_0206_0025__hears,r_0206_0013__a_r_0206_0014__man,arg1).
arc(r_0206_0025__hears,r_0206_0024__woman,arg0).
arc(r_0206_0028__is,r_0206_0013__a_r_0206_0014__man,arg0).
arc(r_0206_0028__is,r_0206_0030__still,nim).
arc(r_0206_0028__is,r_0206_0031__wrong,prd).
arc(z_0206_5004__utterance,r_0206_0012__If,part1).
fof(formula,axiom,
? [R_0206_0001__I,R_0206_0004__GREAT,R_0206_0003__A_R_0206_0005__T__HYPHEN__SHIRT,R_0206_0006__RECENTLY,R_0206_0002__SAW,Z_0206_5004__UTTERANCE,R_0206_0009__SAID] :
( r_0206_0001__I(R_0206_0001__I)
& r_0206_0004__great(R_0206_0004__GREAT)
& r_0206_0006__recently(R_0206_0006__RECENTLY)
& r_0206_0009__said(R_0206_0009__SAID)
& has_arg1(R_0206_0009__SAID,Z_0206_5004__UTTERANCE)
& z_0206_5004__utterance(Z_0206_5004__UTTERANCE)
& ! [R_0206_0022__AND,R_0206_0013__A_R_0206_0014__MAN,R_0206_0017__MIND,R_0206_0019__A_R_0206_0020__FOREST,R_0206_0015__SPEAKS] :
( ( r_0206_0013__a_r_0206_0014__man(R_0206_0013__A_R_0206_0014__MAN)
& r_0206_0019__a_r_0206_0020__forest(R_0206_0019__A_R_0206_0020__FOREST)
& r_0206_0022__and(R_0206_0022__AND)
& ! [R_0206_0024__WOMAN] :
( r_0206_0024__woman(R_0206_0024__WOMAN)
=> ? [R_0206_0025__HEARS] :
( r_0206_0025__hears(R_0206_0025__HEARS)
& has_arg0(R_0206_0025__HEARS,R_0206_0024__WOMAN)
& has_arg1(R_0206_0025__HEARS,R_0206_0013__A_R_0206_0014__MAN) ) )
& has_conj1(R_0206_0022__AND,R_0206_0015__SPEAKS)
& r_0206_0015__speaks(R_0206_0015__SPEAKS)
& has_r_0206_0018__in__nim(R_0206_0015__SPEAKS,R_0206_0019__A_R_0206_0020__FOREST)
& has_arg1(R_0206_0015__SPEAKS,R_0206_0017__MIND)
& r_0206_0017__mind(R_0206_0017__MIND)
& has_gen(R_0206_0017__MIND,R_0206_0013__A_R_0206_0014__MAN)
& has_arg0(R_0206_0015__SPEAKS,R_0206_0013__A_R_0206_0014__MAN) )
=> ? [R_0206_0030__STILL,R_0206_0031__WRONG,R_0206_0028__IS] :
( r_0206_0030__still(R_0206_0030__STILL)
& r_0206_0031__wrong(R_0206_0031__WRONG)
& r_0206_0028__is(R_0206_0028__IS)
& has_prd(R_0206_0028__IS,R_0206_0031__WRONG)
& has_nim(R_0206_0028__IS,R_0206_0030__STILL)
& has_arg0(R_0206_0028__IS,R_0206_0013__A_R_0206_0014__MAN) ) )
& has_arg0(R_0206_0009__SAID,R_0206_0003__A_R_0206_0005__T__HYPHEN__SHIRT)
& r_0206_0003__a_r_0206_0005__t__hyphen__shirt(R_0206_0003__A_R_0206_0005__T__HYPHEN__SHIRT)
& has_attrib(R_0206_0003__A_R_0206_0005__T__HYPHEN__SHIRT,R_0206_0004__GREAT)
& r_0206_0002__saw(R_0206_0002__SAW)
& has_nim(R_0206_0002__SAW,R_0206_0006__RECENTLY)
& has_arg1(R_0206_0002__SAW,R_0206_0003__A_R_0206_0005__T__HYPHEN__SHIRT)
& has_arg0(R_0206_0002__SAW,R_0206_0001__I) ) ).