Example: quantification in effects

(broken GLASS-3)

explode(?b ?l)

(bomb ?b)

(at ?b ?l)

(at TRUCK ?l)

(fragile GLASS-3)

(at GLASS-3 ?l)

(broken GLASS-3)

Previous slide

Next slide

Back to first slide

View graphic version