Context                Previous, Next                Top


205_a_ted_talk_11
Actually, do you know that old philosophical thing, if a tree falls in a forest and nobody hears it, did it happen?

%3 r_0205_0003__do_r_0205_0005__know do know r_0205_0001__Actually Actually r_0205_0003__do_r_0205_0005__know->r_0205_0001__Actually [nim] r_0205_0004__you you r_0205_0003__do_r_0205_0005__know->r_0205_0004__you [arg0] r_0205_0006__that_r_0205_0009__thing that thing r_0205_0003__do_r_0205_0005__know->r_0205_0006__that_r_0205_0009__thing [arg1] r_0205_0007__old old r_0205_0006__that_r_0205_0009__thing->r_0205_0007__old [attrib] r_0205_0008__philosophical philosophical r_0205_0006__that_r_0205_0009__thing->r_0205_0008__philosophical [attrib] r_0205_0011__if if r_0205_0006__that_r_0205_0009__thing->r_0205_0011__if [emb] r_0205_0018__and and r_0205_0011__if->r_0205_0018__and [restriction] r_0205_0023__did_r_0205_0025__happen did happen r_0205_0011__if->r_0205_0023__did_r_0205_0025__happen [scope] r_0205_0014__falls falls r_0205_0018__and->r_0205_0014__falls [conj1] r_0205_0019__nobody_quant nobody [quant] r_0205_0018__and->r_0205_0019__nobody_quant [conj2] r_0205_0023__did_r_0205_0025__happen->r_0205_0014__falls [arg0] r_0205_0012__a_r_0205_0013__tree a tree r_0205_0014__falls->r_0205_0012__a_r_0205_0013__tree [arg0] r_0205_0016__a_r_0205_0017__forest a forest r_0205_0014__falls->r_0205_0016__a_r_0205_0017__forest in [nim] r_0205_0020__hears hears r_0205_0019__nobody_quant->r_0205_0020__hears [scope] z_000_205_a_ted_talk_11_55 r_0205_0019__nobody_quant->z_000_205_a_ted_talk_11_55 [restriction] r_0205_0020__hears->r_0205_0014__falls [arg1] r_0205_0020__hears->z_000_205_a_ted_talk_11_55 [arg0] 
arc(r_0205_0003__do_r_0205_0005__know, r_0205_0001__Actually, nim3).
arc(r_0205_0003__do_r_0205_0005__know, r_0205_0004__you, arg0).
arc(r_0205_0003__do_r_0205_0005__know, r_0205_0006__that_r_0205_0009__thing, arg1).
arc(r_0205_0006__that_r_0205_0009__thing, r_0205_0007__old, attrib18).
arc(r_0205_0006__that_r_0205_0009__thing, r_0205_0008__philosophical, attrib21).
arc(r_0205_0006__that_r_0205_0009__thing, r_0205_0011__if, emb29).
arc(r_0205_0011__if, r_0205_0018__and, restriction).
arc(r_0205_0011__if, r_0205_0023__did_r_0205_0025__happen, scope).
arc(r_0205_0014__falls, r_0205_0012__a_r_0205_0013__tree, arg0).
arc(r_0205_0014__falls, r_0205_0016__a_r_0205_0017__forest, r_0205_0015__in_nim46).
arc(r_0205_0018__and, r_0205_0014__falls, conj1).
arc(r_0205_0018__and, r_0205_0019__nobody_quant, conj2).
arc(r_0205_0019__nobody_quant, r_0205_0020__hears, scope).
arc(r_0205_0019__nobody_quant, z_000_205_a_ted_talk_11_55, restriction).
arc(r_0205_0020__hears, r_0205_0014__falls, arg1).
arc(r_0205_0020__hears, z_000_205_a_ted_talk_11_55, arg0).
arc(r_0205_0023__did_r_0205_0025__happen, r_0205_0014__falls, arg0).


%3 r_0205_0023__did_r_0205_0025__happen did happen r_0205_0014__falls falls r_0205_0023__did_r_0205_0025__happen->r_0205_0014__falls [arg0] r_0205_0016__a_r_0205_0017__forest a forest r_0205_0014__falls->r_0205_0016__a_r_0205_0017__forest in [nim] r_0205_0012__a_r_0205_0013__tree a tree r_0205_0014__falls->r_0205_0012__a_r_0205_0013__tree [arg0] r_0205_0020__hears hears r_0205_0020__hears->r_0205_0014__falls [arg1] z_000_205_a_ted_talk_11_55 r_0205_0020__hears->z_000_205_a_ted_talk_11_55 [arg0] r_0205_0019__nobody_quant nobody [quant] r_0205_0019__nobody_quant->r_0205_0020__hears [scope] r_0205_0019__nobody_quant->z_000_205_a_ted_talk_11_55 [restriction] r_0205_0018__and and r_0205_0018__and->r_0205_0014__falls [conj1] r_0205_0018__and->r_0205_0019__nobody_quant [conj2] r_0205_0011__if if r_0205_0011__if->r_0205_0023__did_r_0205_0025__happen [scope] r_0205_0011__if->r_0205_0018__and [restriction] r_0205_0006__that_r_0205_0009__thing that thing r_0205_0006__that_r_0205_0009__thing->r_0205_0011__if [emb] r_0205_0008__philosophical philosophical r_0205_0006__that_r_0205_0009__thing->r_0205_0008__philosophical [attrib] r_0205_0007__old old r_0205_0006__that_r_0205_0009__thing->r_0205_0007__old [attrib] r_0205_0003__do_r_0205_0005__know do know r_0205_0003__do_r_0205_0005__know->r_0205_0006__that_r_0205_0009__thing [arg1] r_0205_0004__you you r_0205_0003__do_r_0205_0005__know->r_0205_0004__you [arg0] r_0205_0001__Actually Actually r_0205_0003__do_r_0205_0005__know->r_0205_0001__Actually [nim] 
fof(formula,axiom,
    ? [R_205_3_DO_KNOW,R_205_4_YOU,R_205_6_THAT_THING,R_205_7_OLD,R_205_8_PHILOSOPHICAL,R_205_1_ACTUALLY] :
      ( you(R_205_4_YOU)
      & old(R_205_7_OLD)
      & philosophical(R_205_8_PHILOSOPHICAL)
      & actually(R_205_1_ACTUALLY)
      & do_know(R_205_3_DO_KNOW,R_205_4_YOU,R_205_6_THAT_THING)
      & ! [R_205_18_AND,R_205_14_FALLS,R_205_12_A_TREE,R_205_16_A_FOREST] :
          ( ( a_tree(R_205_12_A_TREE)
            & a_forest(R_205_16_A_FOREST)
            & ! [Z_205_A_TED_TALK_11_55] :
                ( true
               => ? [R_205_20_HEARS] : hears(R_205_20_HEARS,Z_205_A_TED_TALK_11_55,R_205_14_FALLS) )
            & conj2(CONJ2)
            & and(R_205_18_AND)
            & conj1(R_205_18_AND,R_205_14_FALLS)
            & falls(R_205_14_FALLS,R_205_12_A_TREE)
            & in_nim46(R_205_14_FALLS,R_205_16_A_FOREST) )
         => ? [R_205_23_DID_HAPPEN] : did_happen(R_205_23_DID_HAPPEN,R_205_14_FALLS) )
      & emb29(EMB29)
      & that_thing(R_205_6_THAT_THING)
      & attrib18(R_205_6_THAT_THING,R_205_7_OLD)
      & attrib21(R_205_6_THAT_THING,R_205_8_PHILOSOPHICAL)
      & nim3(R_205_3_DO_KNOW,R_205_1_ACTUALLY) ) ).


n205_a_ted_talk_11 n205_a_ted_talk_11__1_1_1_1_1 Actually n205_a_ted_talk_11__1_1_2_1 , n205_a_ted_talk_11__1_1_3_1 do n205_a_ted_talk_11__1_1_4_1_1 you n205_a_ted_talk_11__1_1_5_1 know n205_a_ted_talk_11__1_1_6_1_1 that n205_a_ted_talk_11__1_1_6_2_1_1 old n205_a_ted_talk_11__1_1_6_3_1_1 philosophical n205_a_ted_talk_11__1_1_6_4_1 thing n205_a_ted_talk_11__1_1_6_5_1 , n205_a_ted_talk_11__1_1_6_6_1_1_1_1 if n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_1_1 a n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_2_1 tree n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_2_1 falls n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_1_1 in n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_1_1 a n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_2_1 forest n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_1_1 and n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_1_1_1 nobody n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_2_1 hears n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_3_1_1 it n205_a_ted_talk_11__1_1_6_6_1_2_1 , n205_a_ted_talk_11__1_1_6_6_1_3_1 did n205_a_ted_talk_11__1_1_6_6_1_4_1_1 it n205_a_ted_talk_11__1_1_6_6_1_5_1 happen n205_a_ted_talk_11__1_2_1 ? n205_a_ted_talk_11__1 CP-QUE-MAT n205_a_ted_talk_11__1_1 IP-SUB n205_a_ted_talk_11__1->n205_a_ted_talk_11__1_1 n205_a_ted_talk_11__1_2 PUNC n205_a_ted_talk_11__1->n205_a_ted_talk_11__1_2 n205_a_ted_talk_11__1_1_1 ADVP-NIM n205_a_ted_talk_11__1_1->n205_a_ted_talk_11__1_1_1 n205_a_ted_talk_11__1_1_2 PUNC n205_a_ted_talk_11__1_1->n205_a_ted_talk_11__1_1_2 n205_a_ted_talk_11__1_1_3 DOP n205_a_ted_talk_11__1_1->n205_a_ted_talk_11__1_1_3 n205_a_ted_talk_11__1_1_4 NP-SBJ n205_a_ted_talk_11__1_1->n205_a_ted_talk_11__1_1_4 n205_a_ted_talk_11__1_1_5 VB;__ n205_a_ted_talk_11__1_1->n205_a_ted_talk_11__1_1_5 n205_a_ted_talk_11__1_1_6 NP-OB1 n205_a_ted_talk_11__1_1->n205_a_ted_talk_11__1_1_6 n205_a_ted_talk_11__1_1_1_1 ADV n205_a_ted_talk_11__1_1_1->n205_a_ted_talk_11__1_1_1_1 n205_a_ted_talk_11__1_1_1_1->n205_a_ted_talk_11__1_1_1_1_1 n205_a_ted_talk_11__1_1_2->n205_a_ted_talk_11__1_1_2_1 n205_a_ted_talk_11__1_1_3->n205_a_ted_talk_11__1_1_3_1 n205_a_ted_talk_11__1_1_4_1 PRO n205_a_ted_talk_11__1_1_4->n205_a_ted_talk_11__1_1_4_1 n205_a_ted_talk_11__1_1_4_1->n205_a_ted_talk_11__1_1_4_1_1 n205_a_ted_talk_11__1_1_5->n205_a_ted_talk_11__1_1_5_1 n205_a_ted_talk_11__1_1_6_1 D n205_a_ted_talk_11__1_1_6->n205_a_ted_talk_11__1_1_6_1 n205_a_ted_talk_11__1_1_6_2 ADJP n205_a_ted_talk_11__1_1_6->n205_a_ted_talk_11__1_1_6_2 n205_a_ted_talk_11__1_1_6_3 ADJP n205_a_ted_talk_11__1_1_6->n205_a_ted_talk_11__1_1_6_3 n205_a_ted_talk_11__1_1_6_4 N n205_a_ted_talk_11__1_1_6->n205_a_ted_talk_11__1_1_6_4 n205_a_ted_talk_11__1_1_6_5 PUNC n205_a_ted_talk_11__1_1_6->n205_a_ted_talk_11__1_1_6_5 n205_a_ted_talk_11__1_1_6_6 CP-THT n205_a_ted_talk_11__1_1_6->n205_a_ted_talk_11__1_1_6_6 n205_a_ted_talk_11__1_1_6_1->n205_a_ted_talk_11__1_1_6_1_1 n205_a_ted_talk_11__1_1_6_2_1 ADJ n205_a_ted_talk_11__1_1_6_2->n205_a_ted_talk_11__1_1_6_2_1 n205_a_ted_talk_11__1_1_6_2_1->n205_a_ted_talk_11__1_1_6_2_1_1 n205_a_ted_talk_11__1_1_6_3_1 ADJ n205_a_ted_talk_11__1_1_6_3->n205_a_ted_talk_11__1_1_6_3_1 n205_a_ted_talk_11__1_1_6_3_1->n205_a_ted_talk_11__1_1_6_3_1_1 n205_a_ted_talk_11__1_1_6_4->n205_a_ted_talk_11__1_1_6_4_1 n205_a_ted_talk_11__1_1_6_5->n205_a_ted_talk_11__1_1_6_5_1 n205_a_ted_talk_11__1_1_6_6_1 IP-SUB n205_a_ted_talk_11__1_1_6_6->n205_a_ted_talk_11__1_1_6_6_1 n205_a_ted_talk_11__1_1_6_6_1_1 PP-SCON n205_a_ted_talk_11__1_1_6_6_1->n205_a_ted_talk_11__1_1_6_6_1_1 n205_a_ted_talk_11__1_1_6_6_1_2 PUNC n205_a_ted_talk_11__1_1_6_6_1->n205_a_ted_talk_11__1_1_6_6_1_2 n205_a_ted_talk_11__1_1_6_6_1_3 DOD n205_a_ted_talk_11__1_1_6_6_1->n205_a_ted_talk_11__1_1_6_6_1_3 n205_a_ted_talk_11__1_1_6_6_1_4 NP-SBJ n205_a_ted_talk_11__1_1_6_6_1->n205_a_ted_talk_11__1_1_6_6_1_4 n205_a_ted_talk_11__1_1_6_6_1_5 VB;__ n205_a_ted_talk_11__1_1_6_6_1->n205_a_ted_talk_11__1_1_6_6_1_5 n205_a_ted_talk_11__1_1_6_6_1_1_1 P-CONN n205_a_ted_talk_11__1_1_6_6_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2 IP-ADV n205_a_ted_talk_11__1_1_6_6_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_2 n205_a_ted_talk_11__1_1_6_6_1_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1 ILYR n205_a_ted_talk_11__1_1_6_6_1_1_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1 ILYR n205_a_ted_talk_11__1_1_6_6_1_1_2_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2 CONJP n205_a_ted_talk_11__1_1_6_6_1_1_2_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1 NP-SBJ n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_2 VBP;__ n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_2 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3 PP-NIM n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_1 D n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_2 N n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_2 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_1_2_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_2_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_1 P-ROLE n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2 NP n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_1 D n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_2 N n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_2 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_1_3_2_2_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_1 CONJ n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2 ILYR n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_1 NP-SBJ n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_2 VBP;__ n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_2 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_3 NP-OB1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_3 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_1_1 Q;_nphd_ n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_1_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_1_1_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_2->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_2_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_3_1 PRO n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_3->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_3_1 n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_3_1->n205_a_ted_talk_11__1_1_6_6_1_1_2_1_2_2_3_1_1 n205_a_ted_talk_11__1_1_6_6_1_2->n205_a_ted_talk_11__1_1_6_6_1_2_1 n205_a_ted_talk_11__1_1_6_6_1_3->n205_a_ted_talk_11__1_1_6_6_1_3_1 n205_a_ted_talk_11__1_1_6_6_1_4_1 PRO n205_a_ted_talk_11__1_1_6_6_1_4->n205_a_ted_talk_11__1_1_6_6_1_4_1 n205_a_ted_talk_11__1_1_6_6_1_4_1->n205_a_ted_talk_11__1_1_6_6_1_4_1_1 n205_a_ted_talk_11__1_1_6_6_1_5->n205_a_ted_talk_11__1_1_6_6_1_5_1 n205_a_ted_talk_11__1_2->n205_a_ted_talk_11__1_2_1 
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (ADV Actually;{actually}))
                      (PUNC ,)
                      (DOP do;{do})
                      (NP-SBJ (PRO you;{you}))
                      (VB;__ know;{know})
                      (NP-OB1 (D that;{that})
                              (ADJP (ADJ old;{old}))
                              (ADJP (ADJ philosophical;{philosophical}))
                              (N thing;{thing})
                              (PUNC ,)
                              (CP-THT (IP-SUB (PP-SCON (P-CONN if;{if})
                                                       (IP-ADV (ILYR (ILYR;{FALLING} (NP-SBJ (D a;{a})
                                                                                             (N tree;{tree}))
                                                                                     (VBP;__ falls;{fall})
                                                                                     (PP-NIM (P-ROLE in;{in})
                                                                                             (NP (D a;{a})
                                                                                                 (N forest;{forest}))))
                                                                     (CONJP (CONJ and;{and})
                                                                            (ILYR (NP-SBJ (Q;_nphd_ nobody;{nobody}))
                                                                                  (VBP;__ hears;{hear})
                                                                                  (NP-OB1;{FALLING} (PRO it;{it})))))))
                                              (PUNC ,)
                                              (DOD did;{do})
                                              (NP-SBJ;{FALLING} (PRO it;{it}))
                                              (VB;__ happen;{happen})))))
              (PUNC ?))
  (ID 205_a_ted_talk_11))