Example: quantification in precondition

(forall (fragile ?x)

(when (and (at ?x A)

(broken ?x))

(recycled ?x)))

(tidy A)

Previous slide Next slide Back to first slide View graphic version