Context                Previous, Next                Top


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?”

%3 r_0207_0002__saw saw r_0207_0001__I I r_0207_0002__saw->r_0207_0001__I [arg0] r_0207_0003__a_r_0207_0005__t__hyphen__shirt a t-shirt r_0207_0002__saw->r_0207_0003__a_r_0207_0005__t__hyphen__shirt [arg1] r_0207_0006__recently recently r_0207_0002__saw->r_0207_0006__recently [nim] r_0207_0004__great great r_0207_0003__a_r_0207_0005__t__hyphen__shirt->r_0207_0004__great [attrib] r_0207_0009__said said r_0207_0009__said->r_0207_0003__a_r_0207_0005__t__hyphen__shirt [arg0] utterance_207_a_ted_talk_11_32 [utterance] r_0207_0009__said->utterance_207_a_ted_talk_11_32 [arg1] r_0207_0012__If If utterance_207_a_ted_talk_11_32->r_0207_0012__If [part1] r_0207_0022__and and r_0207_0012__If->r_0207_0022__and [restriction] r_0207_0028__is is r_0207_0012__If->r_0207_0028__is [scope] r_0207_0015__speaks speaks r_0207_0022__and->r_0207_0015__speaks [conj1] r_0207_0023__no_quant no [quant] r_0207_0022__and->r_0207_0023__no_quant [conj2] r_0207_0013__a_r_0207_0014__man a man r_0207_0028__is->r_0207_0013__a_r_0207_0014__man [arg0] r_0207_0030__still still r_0207_0028__is->r_0207_0030__still [nim] r_0207_0031__wrong wrong r_0207_0028__is->r_0207_0031__wrong [prd] r_0207_0015__speaks->r_0207_0013__a_r_0207_0014__man [arg0] r_0207_0017__mind mind r_0207_0015__speaks->r_0207_0017__mind [arg1] r_0207_0019__a_r_0207_0020__forest a forest r_0207_0015__speaks->r_0207_0019__a_r_0207_0020__forest in [nim] r_0207_0017__mind->r_0207_0013__a_r_0207_0014__man [gen] r_0207_0024__woman woman r_0207_0023__no_quant->r_0207_0024__woman [restriction] r_0207_0025__hears hears r_0207_0023__no_quant->r_0207_0025__hears [scope] r_0207_0025__hears->r_0207_0013__a_r_0207_0014__man [arg1] r_0207_0025__hears->r_0207_0024__woman [arg0] 
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, r_0207_0003__a_r_0207_0005__t__hyphen__shirt, arg0).
arc(r_0207_0009__said, utterance_207_a_ted_talk_11_32, arg1).
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).
arc(utterance_207_a_ted_talk_11_32, r_0207_0012__If, part1).


%3 r_0207_0002__saw saw r_0207_0001__I I r_0207_0002__saw->r_0207_0001__I [arg0] r_0207_0003__a_r_0207_0005__t__hyphen__shirt a t-shirt r_0207_0002__saw->r_0207_0003__a_r_0207_0005__t__hyphen__shirt [arg1] r_0207_0006__recently recently r_0207_0002__saw->r_0207_0006__recently [nim] r_0207_0004__great great r_0207_0003__a_r_0207_0005__t__hyphen__shirt->r_0207_0004__great [attrib] r_0207_0009__said said r_0207_0009__said->r_0207_0003__a_r_0207_0005__t__hyphen__shirt [arg0] utterance_207_a_ted_talk_11_32 [utterance] r_0207_0009__said->utterance_207_a_ted_talk_11_32 [arg1] r_0207_0012__If If utterance_207_a_ted_talk_11_32->r_0207_0012__If [part1] r_0207_0022__and and r_0207_0012__If->r_0207_0022__and [restriction] r_0207_0028__is is r_0207_0012__If->r_0207_0028__is [scope] r_0207_0015__speaks speaks r_0207_0022__and->r_0207_0015__speaks [conj1] r_0207_0023__no_quant no [quant] r_0207_0022__and->r_0207_0023__no_quant [conj2] r_0207_0013__a_r_0207_0014__man a man r_0207_0028__is->r_0207_0013__a_r_0207_0014__man [arg0] r_0207_0030__still still r_0207_0028__is->r_0207_0030__still [nim] r_0207_0031__wrong wrong r_0207_0028__is->r_0207_0031__wrong [prd] r_0207_0015__speaks->r_0207_0013__a_r_0207_0014__man [arg0] r_0207_0017__mind mind r_0207_0015__speaks->r_0207_0017__mind [arg1] r_0207_0019__a_r_0207_0020__forest a forest r_0207_0015__speaks->r_0207_0019__a_r_0207_0020__forest in [nim] r_0207_0017__mind->r_0207_0013__a_r_0207_0014__man [gen] r_0207_0024__woman woman r_0207_0023__no_quant->r_0207_0024__woman [restriction] r_0207_0025__hears hears r_0207_0023__no_quant->r_0207_0025__hears [scope] r_0207_0025__hears->r_0207_0013__a_r_0207_0014__man [arg1] r_0207_0025__hears->r_0207_0024__woman [arg0] 
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) ) ).


n207_a_ted_talk_11 n207_a_ted_talk_11_4 I n207_a_ted_talk_11_6 saw n207_a_ted_talk_11_9 a n207_a_ted_talk_11_12 great n207_a_ted_talk_11_14 t-shirt n207_a_ted_talk_11_16 *ICH*-174 n207_a_ted_talk_11_19 recently n207_a_ted_talk_11_21 , n207_a_ted_talk_11_25 which n207_a_ted_talk_11_27 said n207_a_ted_talk_11_29 , n207_a_ted_talk_11_31 <ldquo> n207_a_ted_talk_11_37 If n207_a_ted_talk_11_43 a n207_a_ted_talk_11_45 man n207_a_ted_talk_11_47 speaks n207_a_ted_talk_11_51 his n207_a_ted_talk_11_53 mind n207_a_ted_talk_11_56 in n207_a_ted_talk_11_59 a n207_a_ted_talk_11_61 forest n207_a_ted_talk_11_63 , n207_a_ted_talk_11_66 and n207_a_ted_talk_11_70 no n207_a_ted_talk_11_72 woman n207_a_ted_talk_11_74 hears n207_a_ted_talk_11_77 him n207_a_ted_talk_11_79 , n207_a_ted_talk_11_81 is n207_a_ted_talk_11_84 he n207_a_ted_talk_11_87 still n207_a_ted_talk_11_90 wrong n207_a_ted_talk_11_92 ? n207_a_ted_talk_11_94 <rdquo> n207_a_ted_talk_11_1 IP-MAT n207_a_ted_talk_11_2 NP-SBJ n207_a_ted_talk_11_1->n207_a_ted_talk_11_2 n207_a_ted_talk_11_5 VBD;__ n207_a_ted_talk_11_1->n207_a_ted_talk_11_5 n207_a_ted_talk_11_7 NP-OB1 n207_a_ted_talk_11_1->n207_a_ted_talk_11_7 n207_a_ted_talk_11_17 ADVP-NIM n207_a_ted_talk_11_1->n207_a_ted_talk_11_17 n207_a_ted_talk_11_20 PUNC n207_a_ted_talk_11_1->n207_a_ted_talk_11_20 n207_a_ted_talk_11_22 IP-REL-EPD-174 n207_a_ted_talk_11_1->n207_a_ted_talk_11_22 n207_a_ted_talk_11_3 PRO n207_a_ted_talk_11_2->n207_a_ted_talk_11_3 n207_a_ted_talk_11_3->n207_a_ted_talk_11_4 n207_a_ted_talk_11_5->n207_a_ted_talk_11_6 n207_a_ted_talk_11_8 D n207_a_ted_talk_11_7->n207_a_ted_talk_11_8 n207_a_ted_talk_11_10 ADJP n207_a_ted_talk_11_7->n207_a_ted_talk_11_10 n207_a_ted_talk_11_13 N n207_a_ted_talk_11_7->n207_a_ted_talk_11_13 n207_a_ted_talk_11_15 IP-REL n207_a_ted_talk_11_7->n207_a_ted_talk_11_15 n207_a_ted_talk_11_8->n207_a_ted_talk_11_9 n207_a_ted_talk_11_11 ADJ n207_a_ted_talk_11_10->n207_a_ted_talk_11_11 n207_a_ted_talk_11_11->n207_a_ted_talk_11_12 n207_a_ted_talk_11_13->n207_a_ted_talk_11_14 n207_a_ted_talk_11_15->n207_a_ted_talk_11_16 n207_a_ted_talk_11_18 ADV n207_a_ted_talk_11_17->n207_a_ted_talk_11_18 n207_a_ted_talk_11_18->n207_a_ted_talk_11_19 n207_a_ted_talk_11_20->n207_a_ted_talk_11_21 n207_a_ted_talk_11_23 NP-SBJ n207_a_ted_talk_11_22->n207_a_ted_talk_11_23 n207_a_ted_talk_11_26 VBD;_Tr_ n207_a_ted_talk_11_22->n207_a_ted_talk_11_26 n207_a_ted_talk_11_28 PUNC n207_a_ted_talk_11_22->n207_a_ted_talk_11_28 n207_a_ted_talk_11_30 PULQ n207_a_ted_talk_11_22->n207_a_ted_talk_11_30 n207_a_ted_talk_11_32 utterance-OB1 n207_a_ted_talk_11_22->n207_a_ted_talk_11_32 n207_a_ted_talk_11_93 PURQ n207_a_ted_talk_11_22->n207_a_ted_talk_11_93 n207_a_ted_talk_11_24 RPRO n207_a_ted_talk_11_23->n207_a_ted_talk_11_24 n207_a_ted_talk_11_24->n207_a_ted_talk_11_25 n207_a_ted_talk_11_26->n207_a_ted_talk_11_27 n207_a_ted_talk_11_28->n207_a_ted_talk_11_29 n207_a_ted_talk_11_30->n207_a_ted_talk_11_31 n207_a_ted_talk_11_33 CP-QUE-MAT n207_a_ted_talk_11_32->n207_a_ted_talk_11_33 n207_a_ted_talk_11_34 IP-SUB n207_a_ted_talk_11_33->n207_a_ted_talk_11_34 n207_a_ted_talk_11_91 PUNC n207_a_ted_talk_11_33->n207_a_ted_talk_11_91 n207_a_ted_talk_11_35 PP-SCON n207_a_ted_talk_11_34->n207_a_ted_talk_11_35 n207_a_ted_talk_11_78 PUNC n207_a_ted_talk_11_34->n207_a_ted_talk_11_78 n207_a_ted_talk_11_80 BEP;_La_ n207_a_ted_talk_11_34->n207_a_ted_talk_11_80 n207_a_ted_talk_11_82 NP-SBJ n207_a_ted_talk_11_34->n207_a_ted_talk_11_82 n207_a_ted_talk_11_85 ADVP-NIM n207_a_ted_talk_11_34->n207_a_ted_talk_11_85 n207_a_ted_talk_11_88 ADJP-PRD n207_a_ted_talk_11_34->n207_a_ted_talk_11_88 n207_a_ted_talk_11_36 P-CONN n207_a_ted_talk_11_35->n207_a_ted_talk_11_36 n207_a_ted_talk_11_38 IP-ADV n207_a_ted_talk_11_35->n207_a_ted_talk_11_38 n207_a_ted_talk_11_36->n207_a_ted_talk_11_37 n207_a_ted_talk_11_39 ILYR n207_a_ted_talk_11_38->n207_a_ted_talk_11_39 n207_a_ted_talk_11_40 ILYR n207_a_ted_talk_11_39->n207_a_ted_talk_11_40 n207_a_ted_talk_11_62 PUNC n207_a_ted_talk_11_39->n207_a_ted_talk_11_62 n207_a_ted_talk_11_64 CONJP n207_a_ted_talk_11_39->n207_a_ted_talk_11_64 n207_a_ted_talk_11_41 NP-SBJ n207_a_ted_talk_11_40->n207_a_ted_talk_11_41 n207_a_ted_talk_11_46 VBP;__ n207_a_ted_talk_11_40->n207_a_ted_talk_11_46 n207_a_ted_talk_11_48 NP-OB1 n207_a_ted_talk_11_40->n207_a_ted_talk_11_48 n207_a_ted_talk_11_54 PP-NIM n207_a_ted_talk_11_40->n207_a_ted_talk_11_54 n207_a_ted_talk_11_42 D n207_a_ted_talk_11_41->n207_a_ted_talk_11_42 n207_a_ted_talk_11_44 N n207_a_ted_talk_11_41->n207_a_ted_talk_11_44 n207_a_ted_talk_11_42->n207_a_ted_talk_11_43 n207_a_ted_talk_11_44->n207_a_ted_talk_11_45 n207_a_ted_talk_11_46->n207_a_ted_talk_11_47 n207_a_ted_talk_11_49 NP-GEN n207_a_ted_talk_11_48->n207_a_ted_talk_11_49 n207_a_ted_talk_11_52 N n207_a_ted_talk_11_48->n207_a_ted_talk_11_52 n207_a_ted_talk_11_50 PRO;_genm_ n207_a_ted_talk_11_49->n207_a_ted_talk_11_50 n207_a_ted_talk_11_50->n207_a_ted_talk_11_51 n207_a_ted_talk_11_52->n207_a_ted_talk_11_53 n207_a_ted_talk_11_55 P-ROLE n207_a_ted_talk_11_54->n207_a_ted_talk_11_55 n207_a_ted_talk_11_57 NP n207_a_ted_talk_11_54->n207_a_ted_talk_11_57 n207_a_ted_talk_11_55->n207_a_ted_talk_11_56 n207_a_ted_talk_11_58 D n207_a_ted_talk_11_57->n207_a_ted_talk_11_58 n207_a_ted_talk_11_60 N n207_a_ted_talk_11_57->n207_a_ted_talk_11_60 n207_a_ted_talk_11_58->n207_a_ted_talk_11_59 n207_a_ted_talk_11_60->n207_a_ted_talk_11_61 n207_a_ted_talk_11_62->n207_a_ted_talk_11_63 n207_a_ted_talk_11_65 CONJ n207_a_ted_talk_11_64->n207_a_ted_talk_11_65 n207_a_ted_talk_11_67 ILYR n207_a_ted_talk_11_64->n207_a_ted_talk_11_67 n207_a_ted_talk_11_65->n207_a_ted_talk_11_66 n207_a_ted_talk_11_68 NP-SBJ n207_a_ted_talk_11_67->n207_a_ted_talk_11_68 n207_a_ted_talk_11_73 VBP;__ n207_a_ted_talk_11_67->n207_a_ted_talk_11_73 n207_a_ted_talk_11_75 NP-OB1 n207_a_ted_talk_11_67->n207_a_ted_talk_11_75 n207_a_ted_talk_11_69 Q n207_a_ted_talk_11_68->n207_a_ted_talk_11_69 n207_a_ted_talk_11_71 N n207_a_ted_talk_11_68->n207_a_ted_talk_11_71 n207_a_ted_talk_11_69->n207_a_ted_talk_11_70 n207_a_ted_talk_11_71->n207_a_ted_talk_11_72 n207_a_ted_talk_11_73->n207_a_ted_talk_11_74 n207_a_ted_talk_11_76 PRO n207_a_ted_talk_11_75->n207_a_ted_talk_11_76 n207_a_ted_talk_11_76->n207_a_ted_talk_11_77 n207_a_ted_talk_11_78->n207_a_ted_talk_11_79 n207_a_ted_talk_11_80->n207_a_ted_talk_11_81 n207_a_ted_talk_11_83 PRO n207_a_ted_talk_11_82->n207_a_ted_talk_11_83 n207_a_ted_talk_11_83->n207_a_ted_talk_11_84 n207_a_ted_talk_11_86 ADV n207_a_ted_talk_11_85->n207_a_ted_talk_11_86 n207_a_ted_talk_11_86->n207_a_ted_talk_11_87 n207_a_ted_talk_11_89 ADJ n207_a_ted_talk_11_88->n207_a_ted_talk_11_89 n207_a_ted_talk_11_89->n207_a_ted_talk_11_90 n207_a_ted_talk_11_91->n207_a_ted_talk_11_92 n207_a_ted_talk_11_93->n207_a_ted_talk_11_94 
( (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))