Historical Preconditions for Activities

Extension Name: spoilage.def

Primitive Lexicon: None

Defined Lexicon:

Relations:

(historical ?a)
(possibly_historical ?a)
(nonhistorical ?a)

Theories Required by this Extension: occtree.th, psl_core.th

Definitional Extensions Required by this Extension: occ_precond.def, state_precond.def, time_precond.def, precond.def

Definitions

Definition 1

(forall (?a) (iff (historical ?a)
(forall (?s1 ?s2)
	(if	  (and	(occurrence_of ?s1 ?a)
			(occurrence_of ?s2 ?a)
			(state_equiv ?s1 ?s2)
			(begin_equiv ?s1 ?s2)
			(tree_equiv ?s1 ?s2))
		  (legal_equiv ?s1 ?s2)))))

Definition 2

(forall (?a) (iff (possibly_historical ?a)
(exists (?s1)
	(and	(occurrence_of ?s1 ?a)
		(forall (?s2)
			(if	  (and	(occurrence_of ?s2 ?a)
					(state_equiv ?s1 ?s2)
					(begin_equiv ?s1 ?s2)
					(tree_equiv ?s1 ?s2))
				  (legal_equiv ?s1 ?s2)))))))

Definition 3

(forall (?a) (iff (nonhistorical ?a)
(forall (?s1)
	(if	  (occurrence_of ?s1 ?a)
		  (exists (?s2)
			(and	(occurrence_of ?s2 ?a)
				(state_equiv ?s1 ?s2)
				(begin_equiv ?s1 ?s2)
				(tree_equiv ?s1 ?s2)
				(not (legal_equiv ?s1 ?s2))))))))