Lower
type: Class
comment: class of classes involved in e:valuation mapping

Upper
type: Class
comment: class of classes involved in e:valuation mapping

condition
type: Property
domain: Formula
range: List
comment: to relate a log:Formula with a list of e:boolean propositions

map
type: Property
domain: Number
range: Class
comment: to map e.g decimal number 1.0 to class e:T