;(ge (make-top-level-environment))

(load "load")

(define sys (make-air-system))
(load-assumptions-file "../s0/log.n3" sys)
(load-policy-file "../s0/mit-policy.n3" sys)