Fluents, features, the Holds predicate
Fixed, finite object domains