(Carry has
  (cmap-correspondence ((:seq agent "the carrier") 
			(:seq object "the thing carried") 
			(:seq source "original location") 
			(:seq destination "final location") 
			(:seq path "through")))
  (primary-slot (source destination path))
  (required-slot (agent object))
  (superclasses (Move)))


(every Carry has
  (actions ((if (has-value (the subevent-order of Self)) 
		then 
	      (forall (the subevent-order of Self) 
		      where (t) (the actions of It)) else Self)))
  (add-list ((forall 
	      (the post-condition of Self) 
	      where (has-value (the equal of It)) 
	      (forall2 (the constrained-thing of It) 
		       (:triple It2 (the constrained-slot of It) (the equal of It))))))
  (agent (((a Animate-Object))
          && ((must-be-a Living-Entity with 
			 (goal ((constraint ((TheValue == (the post-condition of Self))))))))))
  (beneficiary ((must-be-a Living-Entity 
			   with 
			   (goal 
			    ((a ToBe with 
				(role (beneficiary)) 
				(event (Self))))) 
			   (time-of-existence ((a Time-Interval with 
						  (temporally-overlaps ((the time-of-existence of (the object of Self)) 
									(if (has-value (the causer of Self)) then (the time-of-existence of (the causer of Self))) 
									(if (has-value (the experiencer of Self)) then (the time-of-existence of (the experiencer of Self))) 
									(if (has-value (the instrument of Self)) then (the time-of-existence of (the instrument of Self))) 
									(if (has-value (the recipient of Self)) then (the time-of-existence of (the recipient of Self)))))))))))
  (causer ((must-be-a Object with 
		      (capability (Self)) 
		      (causer-of ((a In-Control with 
				     (object ((the instrument of Self))) 
				     (time ((a Time-Interval with (temporally-overlaps ((the time of Self))))))))) 
		      (location ((constraint (if (has-value (the instrument of Self)) then (TheValue has (abuts ((the location of (the instrument of Self))))))))) (time-of-existence ((a Time-Interval with (temporally-overlaps ((the time-of-existence of (the object of Self)) (if (has-value (the beneficiary of Self)) then (the time-of-existence of (the beneficiary of Self))) (if (has-value (the experiencer of Self)) then (the time-of-existence of (the experiencer of Self))) (if (has-value (the instrument of Self)) then (the time-of-existence of (the instrument of Self))) (if (has-value (the recipient of Self)) then (the time-of-existence of (the recipient of Self)))))))))))
  (causes ((a Move with (agent ((the agent of Self))) (object ((the object of Self))) (source ((the source of Self))) (destination ((the destination of Self))) (path ((the path of Self))) (time ((a Time-Interval with (during ((the time of Self)))))))))
  (del-list ((forall (the post-condition of Self) where (has-value (the not-equal of It)) (forall2 (the constrained-thing of It) (:triple It2 (the constrained-slot of It) (the not-equal of It))))))
  (destination (((must-be-a Place) & (if (has-value (the source of Self)) then (excluded-values (the source of Self))))))
  (donor ((must-be-a Living-Entity with (time-of-existence ((a Time-Interval with (temporally-overlaps ((the time-of-existence of (the object of Self)) (if (has-value (the causer of Self)) then (the time-of-existence of (the causer of Self))) (if (has-value (the experiencer of Self)) then (the time-of-existence of (the experiencer of Self))) (if (has-value (the instrument of Self)) then (the time-of-existence of (the instrument of Self))) (if (has-value (the recipient of Self)) then (the time-of-existence of (the recipient of Self)))))))))))
  (during-condition ((if (has-value (the path of Self)) then ((a Condition with (constrained-thing ((the object of Self))) (constrained-slot (location)) (equal ((the path of Self))))))))
  (instrument (   ((must-be-a Tangible-Entity))
               && ((must-be-a Entity with (location ((constraint (TheValue has (abuts ((the location of (the causer of Self)))))))) (time-of-existence ((a Time-Interval with (temporally-overlaps ((the time-of-existence of (the object of Self)) (if (has-value (the beneficiary of Self)) then (the time-of-existence of (the beneficiary of Self))) (if (has-value (the experiencer of Self)) then (the time-of-existence of (the experiencer of Self))) (if (has-value (the causer of Self)) then (the time-of-existence of (the causer of Self))) (if (has-value (the recipient of Self)) then (the time-of-existence of (the recipient of Self)))))))))))
  (ncs-list ((forall (the pre-condition of Self) where (has-value (the not-equal of It)) (forall2 (the constrained-thing of It) (:triple It2 (the constrained-slot of It) (the not-equal of It))))))
  (object (   ((a Object))
           && ((a Tangible-Entity))
           && ((must-be-a Thing))
           && ((must-be-a Entity with (time-of-existence ((a Time-Interval with (temporally-overlaps ((if (has-value (the beneficiary of Self)) then (the time-of-existence of (the beneficiary of Self))) (if (has-value (the experiencer of Self)) then (the time-of-existence of (the experiencer of Self))) (if (has-value (the causer of Self)) then (the time-of-existence of (the causer of Self))) (if (has-value (the recipient of Self)) then (the time-of-existence of (the recipient of Self)))))))))))
  (path ((must-be-a Place)))
  (pcs-list ((forall (the pre-condition of Self) (forall2 (the constrained-thing of It) (:triple It2 (the constrained-slot of It) (the equal of It))))))
  (post-condition ((if (has-value (the destination of Self)) then (forall (the object of Self) ((a Condition with (constrained-thing (It)) (constrained-slot (location)) (equal ((the destination of Self))))))) (if (has-value (the source of Self)) then (forall (the object of Self) ((a Condition with (constrained-thing (It)) (constrained-slot (location)) (not-equal ((the source of Self)))))))))
  (pre-condition ((if (has-value (the source of Self)) then (forall (the object of Self) ((a Condition with (constrained-thing (It)) (constrained-slot (location)) (equal ((the source of Self)))))))))
  (recipient ((must-be-a Living-Entity with (time-of-existence ((a Time-Interval with (temporally-overlaps ((the time-of-existence of (the object of Self)) (if (has-value (the beneficiary of Self)) then (the time-of-existence of (the beneficiary of Self))) (if (has-value (the causer of Self)) then (the time-of-existence of (the causer of Self))) (if (has-value (the object of Self)) then (the time-of-existence of (the object of Self)))))))))))
  (result ((must-be-a Entity with (time-of-existence ((a Time-Interval with (temporally-overlaps ((the time-of-existence of (the object of Self)) (if (has-value (the beneficiary of Self)) then (the time-of-existence of (the beneficiary of Self))) (if (has-value (the recipient of Self)) then (the time-of-existence of (the recipient of Self)))))))))))
  (source ((must-be-a Place)))
  (subevent (   ((a Locomotion with (agent ((the agent of Self))) (source ((the source of Self))) (destination ((the destination of Self))) (time ((a Time-Interval with (during ((the time of (the Hold subevent of Self)))))))) (a Hold with (agent ((the agent of Self))) (object ((the object of Self)))))
             && ((must-be-a Action)))
  (time-of-occurrence ((must-be-a Time-Interval))))