204_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?
( (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 204_a_ted_talk_11))
arc(r_0204_0003__do_r_0204_0005__know,r_0204_0001__Actually,nim).
arc(r_0204_0003__do_r_0204_0005__know,r_0204_0004__you,arg0).
arc(r_0204_0003__do_r_0204_0005__know,r_0204_0006__that_r_0204_0009__thing,arg1).
arc(r_0204_0006__that_r_0204_0009__thing,r_0204_0007__old,attrib).
arc(r_0204_0006__that_r_0204_0009__thing,r_0204_0008__philosophical,attrib).
arc(r_0204_0006__that_r_0204_0009__thing,r_0204_0011__if,emb).
arc(r_0204_0011__if,r_0204_0018__and,restriction).
arc(r_0204_0011__if,r_0204_0023__did_r_0204_0025__happen,scope).
arc(r_0204_0014__falls,r_0204_0012__a_r_0204_0013__tree,arg0).
arc(r_0204_0014__falls,r_0204_0016__a_r_0204_0017__forest,r_0204_0015__in__nim).
arc(r_0204_0018__and,r_0204_0014__falls,conj1).
arc(r_0204_0018__and,r_0204_0019__nobody__quant,conj2).
arc(r_0204_0019__nobody__quant,r_0204_0020__hears,scope).
arc(r_0204_0019__nobody__quant,z_0204_5012,restriction).
arc(r_0204_0020__hears,r_0204_0014__falls,arg1).
arc(r_0204_0020__hears,z_0204_5012,arg0).
arc(r_0204_0023__did_r_0204_0025__happen,r_0204_0014__falls,arg0).
fof(formula,axiom,
? [R_0204_0001__ACTUALLY,R_0204_0004__YOU,R_0204_0007__OLD,R_0204_0008__PHILOSOPHICAL,R_0204_0006__THAT_R_0204_0009__THING,R_0204_0003__DO_R_0204_0005__KNOW] :
( r_0204_0001__Actually(R_0204_0001__ACTUALLY)
& r_0204_0004__you(R_0204_0004__YOU)
& r_0204_0007__old(R_0204_0007__OLD)
& r_0204_0008__philosophical(R_0204_0008__PHILOSOPHICAL)
& r_0204_0003__do_r_0204_0005__know(R_0204_0003__DO_R_0204_0005__KNOW)
& has_arg1(R_0204_0003__DO_R_0204_0005__KNOW,R_0204_0006__THAT_R_0204_0009__THING)
& r_0204_0006__that_r_0204_0009__thing(R_0204_0006__THAT_R_0204_0009__THING)
& ! [R_0204_0018__AND,R_0204_0012__A_R_0204_0013__TREE,R_0204_0016__A_R_0204_0017__FOREST,R_0204_0014__FALLS] :
( ( r_0204_0012__a_r_0204_0013__tree(R_0204_0012__A_R_0204_0013__TREE)
& r_0204_0016__a_r_0204_0017__forest(R_0204_0016__A_R_0204_0017__FOREST)
& r_0204_0018__and(R_0204_0018__AND)
& ! [Z_0204_5012] :
( z_0204_5012(Z_0204_5012)
=> ? [R_0204_0020__HEARS] :
( r_0204_0020__hears(R_0204_0020__HEARS)
& has_arg0(R_0204_0020__HEARS,Z_0204_5012)
& has_arg1(R_0204_0020__HEARS,R_0204_0014__FALLS) ) )
& has_conj1(R_0204_0018__AND,R_0204_0014__FALLS)
& r_0204_0014__falls(R_0204_0014__FALLS)
& has_r_0204_0015__in__nim(R_0204_0014__FALLS,R_0204_0016__A_R_0204_0017__FOREST)
& has_arg0(R_0204_0014__FALLS,R_0204_0012__A_R_0204_0013__TREE) )
=> ? [R_0204_0023__DID_R_0204_0025__HAPPEN] :
( r_0204_0023__did_r_0204_0025__happen(R_0204_0023__DID_R_0204_0025__HAPPEN)
& has_arg0(R_0204_0023__DID_R_0204_0025__HAPPEN,R_0204_0014__FALLS) ) )
& has_attrib(R_0204_0006__THAT_R_0204_0009__THING,R_0204_0008__PHILOSOPHICAL)
& has_attrib(R_0204_0006__THAT_R_0204_0009__THING,R_0204_0007__OLD)
& has_arg0(R_0204_0003__DO_R_0204_0005__KNOW,R_0204_0004__YOU)
& has_nim(R_0204_0003__DO_R_0204_0005__KNOW,R_0204_0001__ACTUALLY) ) ).