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?
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).
fof(formula,axiom,
? [R_0205_0001__ACTUALLY,R_0205_0004__YOU,R_0205_0007__OLD,R_0205_0008__PHILOSOPHICAL,R_0205_0006__THAT_R_0205_0009__THING,R_0205_0003__DO_R_0205_0005__KNOW] :
( r_0205_0001__Actually(R_0205_0001__ACTUALLY)
& r_0205_0004__you(R_0205_0004__YOU)
& r_0205_0007__old(R_0205_0007__OLD)
& r_0205_0008__philosophical(R_0205_0008__PHILOSOPHICAL)
& r_0205_0003__do_r_0205_0005__know(R_0205_0003__DO_R_0205_0005__KNOW)
& has_arg1(R_0205_0003__DO_R_0205_0005__KNOW,R_0205_0006__THAT_R_0205_0009__THING)
& r_0205_0006__that_r_0205_0009__thing(R_0205_0006__THAT_R_0205_0009__THING)
& ! [R_0205_0018__AND,R_0205_0012__A_R_0205_0013__TREE,R_0205_0016__A_R_0205_0017__FOREST,R_0205_0014__FALLS] :
( ( r_0205_0012__a_r_0205_0013__tree(R_0205_0012__A_R_0205_0013__TREE)
& r_0205_0016__a_r_0205_0017__forest(R_0205_0016__A_R_0205_0017__FOREST)
& r_0205_0018__and(R_0205_0018__AND)
& ! [Z_000_205_A_TED_TALK_11_55] :
( z_000_205_a_ted_talk_11_55(Z_000_205_A_TED_TALK_11_55)
=> ? [R_0205_0020__HEARS] :
( r_0205_0020__hears(R_0205_0020__HEARS)
& has_arg0(R_0205_0020__HEARS,Z_000_205_A_TED_TALK_11_55)
& has_arg1(R_0205_0020__HEARS,R_0205_0014__FALLS) ) )
& has_conj1(R_0205_0018__AND,R_0205_0014__FALLS)
& r_0205_0014__falls(R_0205_0014__FALLS)
& has_r_0205_0015__in_nim46(R_0205_0014__FALLS,R_0205_0016__A_R_0205_0017__FOREST)
& has_arg0(R_0205_0014__FALLS,R_0205_0012__A_R_0205_0013__TREE) )
=> ? [R_0205_0023__DID_R_0205_0025__HAPPEN] :
( r_0205_0023__did_r_0205_0025__happen(R_0205_0023__DID_R_0205_0025__HAPPEN)
& has_arg0(R_0205_0023__DID_R_0205_0025__HAPPEN,R_0205_0014__FALLS) ) )
& has_attrib21(R_0205_0006__THAT_R_0205_0009__THING,R_0205_0008__PHILOSOPHICAL)
& has_attrib18(R_0205_0006__THAT_R_0205_0009__THING,R_0205_0007__OLD)
& has_arg0(R_0205_0003__DO_R_0205_0005__KNOW,R_0205_0004__YOU)
& has_nim3(R_0205_0003__DO_R_0205_0005__KNOW,R_0205_0001__ACTUALLY) ) ).
( (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))