MAX stores all of its knowledge symbolically in lframes. Each lframe denotes a possible "state" by representing the conjunction of a set of predicate logic literals. Lframes may be composed of other lframes, and may have local variables.
Go to a discussion of this property for multiple architectures.