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_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] 
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_5 Actually n205_a_ted_talk_11_7 , n205_a_ted_talk_11_9 do n205_a_ted_talk_11_12 you n205_a_ted_talk_11_14 know n205_a_ted_talk_11_17 that n205_a_ted_talk_11_20 old n205_a_ted_talk_11_23 philosophical n205_a_ted_talk_11_25 thing n205_a_ted_talk_11_27 , n205_a_ted_talk_11_32 if n205_a_ted_talk_11_38 a n205_a_ted_talk_11_40 tree n205_a_ted_talk_11_42 falls n205_a_ted_talk_11_45 in n205_a_ted_talk_11_48 a n205_a_ted_talk_11_50 forest n205_a_ted_talk_11_53 and n205_a_ted_talk_11_57 nobody n205_a_ted_talk_11_59 hears n205_a_ted_talk_11_62 it n205_a_ted_talk_11_64 , n205_a_ted_talk_11_66 did n205_a_ted_talk_11_69 it n205_a_ted_talk_11_71 happen n205_a_ted_talk_11_73 ? n205_a_ted_talk_11_1 CP-QUE-MAT n205_a_ted_talk_11_2 IP-SUB n205_a_ted_talk_11_1->n205_a_ted_talk_11_2 n205_a_ted_talk_11_72 PUNC n205_a_ted_talk_11_1->n205_a_ted_talk_11_72 n205_a_ted_talk_11_3 ADVP-NIM n205_a_ted_talk_11_2->n205_a_ted_talk_11_3 n205_a_ted_talk_11_6 PUNC n205_a_ted_talk_11_2->n205_a_ted_talk_11_6 n205_a_ted_talk_11_8 DOP n205_a_ted_talk_11_2->n205_a_ted_talk_11_8 n205_a_ted_talk_11_10 NP-SBJ n205_a_ted_talk_11_2->n205_a_ted_talk_11_10 n205_a_ted_talk_11_13 VB;__ n205_a_ted_talk_11_2->n205_a_ted_talk_11_13 n205_a_ted_talk_11_15 NP-OB1 n205_a_ted_talk_11_2->n205_a_ted_talk_11_15 n205_a_ted_talk_11_4 ADV n205_a_ted_talk_11_3->n205_a_ted_talk_11_4 n205_a_ted_talk_11_4->n205_a_ted_talk_11_5 n205_a_ted_talk_11_6->n205_a_ted_talk_11_7 n205_a_ted_talk_11_8->n205_a_ted_talk_11_9 n205_a_ted_talk_11_11 PRO n205_a_ted_talk_11_10->n205_a_ted_talk_11_11 n205_a_ted_talk_11_11->n205_a_ted_talk_11_12 n205_a_ted_talk_11_13->n205_a_ted_talk_11_14 n205_a_ted_talk_11_16 D n205_a_ted_talk_11_15->n205_a_ted_talk_11_16 n205_a_ted_talk_11_18 ADJP n205_a_ted_talk_11_15->n205_a_ted_talk_11_18 n205_a_ted_talk_11_21 ADJP n205_a_ted_talk_11_15->n205_a_ted_talk_11_21 n205_a_ted_talk_11_24 N n205_a_ted_talk_11_15->n205_a_ted_talk_11_24 n205_a_ted_talk_11_26 PUNC n205_a_ted_talk_11_15->n205_a_ted_talk_11_26 n205_a_ted_talk_11_28 CP-THT n205_a_ted_talk_11_15->n205_a_ted_talk_11_28 n205_a_ted_talk_11_16->n205_a_ted_talk_11_17 n205_a_ted_talk_11_19 ADJ n205_a_ted_talk_11_18->n205_a_ted_talk_11_19 n205_a_ted_talk_11_19->n205_a_ted_talk_11_20 n205_a_ted_talk_11_22 ADJ n205_a_ted_talk_11_21->n205_a_ted_talk_11_22 n205_a_ted_talk_11_22->n205_a_ted_talk_11_23 n205_a_ted_talk_11_24->n205_a_ted_talk_11_25 n205_a_ted_talk_11_26->n205_a_ted_talk_11_27 n205_a_ted_talk_11_29 IP-SUB n205_a_ted_talk_11_28->n205_a_ted_talk_11_29 n205_a_ted_talk_11_30 PP-SCON n205_a_ted_talk_11_29->n205_a_ted_talk_11_30 n205_a_ted_talk_11_63 PUNC n205_a_ted_talk_11_29->n205_a_ted_talk_11_63 n205_a_ted_talk_11_65 DOD n205_a_ted_talk_11_29->n205_a_ted_talk_11_65 n205_a_ted_talk_11_67 NP-SBJ n205_a_ted_talk_11_29->n205_a_ted_talk_11_67 n205_a_ted_talk_11_70 VB;__ n205_a_ted_talk_11_29->n205_a_ted_talk_11_70 n205_a_ted_talk_11_31 P-CONN n205_a_ted_talk_11_30->n205_a_ted_talk_11_31 n205_a_ted_talk_11_33 IP-ADV n205_a_ted_talk_11_30->n205_a_ted_talk_11_33 n205_a_ted_talk_11_31->n205_a_ted_talk_11_32 n205_a_ted_talk_11_34 ILYR n205_a_ted_talk_11_33->n205_a_ted_talk_11_34 n205_a_ted_talk_11_35 ILYR n205_a_ted_talk_11_34->n205_a_ted_talk_11_35 n205_a_ted_talk_11_51 CONJP n205_a_ted_talk_11_34->n205_a_ted_talk_11_51 n205_a_ted_talk_11_36 NP-SBJ n205_a_ted_talk_11_35->n205_a_ted_talk_11_36 n205_a_ted_talk_11_41 VBP;__ n205_a_ted_talk_11_35->n205_a_ted_talk_11_41 n205_a_ted_talk_11_43 PP-NIM n205_a_ted_talk_11_35->n205_a_ted_talk_11_43 n205_a_ted_talk_11_37 D n205_a_ted_talk_11_36->n205_a_ted_talk_11_37 n205_a_ted_talk_11_39 N n205_a_ted_talk_11_36->n205_a_ted_talk_11_39 n205_a_ted_talk_11_37->n205_a_ted_talk_11_38 n205_a_ted_talk_11_39->n205_a_ted_talk_11_40 n205_a_ted_talk_11_41->n205_a_ted_talk_11_42 n205_a_ted_talk_11_44 P-ROLE n205_a_ted_talk_11_43->n205_a_ted_talk_11_44 n205_a_ted_talk_11_46 NP n205_a_ted_talk_11_43->n205_a_ted_talk_11_46 n205_a_ted_talk_11_44->n205_a_ted_talk_11_45 n205_a_ted_talk_11_47 D n205_a_ted_talk_11_46->n205_a_ted_talk_11_47 n205_a_ted_talk_11_49 N n205_a_ted_talk_11_46->n205_a_ted_talk_11_49 n205_a_ted_talk_11_47->n205_a_ted_talk_11_48 n205_a_ted_talk_11_49->n205_a_ted_talk_11_50 n205_a_ted_talk_11_52 CONJ n205_a_ted_talk_11_51->n205_a_ted_talk_11_52 n205_a_ted_talk_11_54 ILYR n205_a_ted_talk_11_51->n205_a_ted_talk_11_54 n205_a_ted_talk_11_52->n205_a_ted_talk_11_53 n205_a_ted_talk_11_55 NP-SBJ n205_a_ted_talk_11_54->n205_a_ted_talk_11_55 n205_a_ted_talk_11_58 VBP;__ n205_a_ted_talk_11_54->n205_a_ted_talk_11_58 n205_a_ted_talk_11_60 NP-OB1 n205_a_ted_talk_11_54->n205_a_ted_talk_11_60 n205_a_ted_talk_11_56 Q;_nphd_ n205_a_ted_talk_11_55->n205_a_ted_talk_11_56 n205_a_ted_talk_11_56->n205_a_ted_talk_11_57 n205_a_ted_talk_11_58->n205_a_ted_talk_11_59 n205_a_ted_talk_11_61 PRO n205_a_ted_talk_11_60->n205_a_ted_talk_11_61 n205_a_ted_talk_11_61->n205_a_ted_talk_11_62 n205_a_ted_talk_11_63->n205_a_ted_talk_11_64 n205_a_ted_talk_11_65->n205_a_ted_talk_11_66 n205_a_ted_talk_11_68 PRO n205_a_ted_talk_11_67->n205_a_ted_talk_11_68 n205_a_ted_talk_11_68->n205_a_ted_talk_11_69 n205_a_ted_talk_11_70->n205_a_ted_talk_11_71 n205_a_ted_talk_11_72->n205_a_ted_talk_11_73 
( (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))