class of classes involved in e:valuation mapping
to relate a log:Formula with a list of e:boolean propositions
to map e.g decimal number 1.0 to class e:T