(defparameter *school-operations*
  (list
   (make-action-container
    :action 'drive-son-to-school
    :preconds '(son-at-home car works)
    :add-list '(son-at-school)
    :del-list '(son-at-home))
   (make-action-container
    :action 'shop-installs-battery
    :preconds '(car-needs-batter shop-knows-problem shop-has-money)
    :add-list '(car-works))
   (make-action-container
    :action 'tell-shop-problem
    :preconds '(in-communication-with-shop)
    :add-list '(shop-knows-problem))
   (make-action-container
    :action 'telephone-shop
    :preconds '(know-phone-number)
    :add-list '(in-communication-with-shop))
   (make-action-container
    :action 'look-up-number
    :preconds '(have-phone-book)
    :add-list '(know-phone-number))
   (make-action-container
    :action 'give-shop-money
    :preconds '(have-money)
    :add-list '(shop-has-money)
    :del-list '(have-money))))