For theoretical purposes, it is useful, though not strictly necessary,
to have a domain of parameters corresponding to individuals and
locations.
Where 
, is a state of affairs with a as a minor
constituent, and a is a parameter, 
is a parametric state of affairs
or infon.
The step from states of affairs to infons is a sort of
abstraction. To get from the infons back to states of affairs, we
need anchors. An anchor is a partial function from the domain
of parameters to appropriate objects. Where f is an anchor,
.
An anchor f satisfies an infon i relative to a situation
s iff 
. An anchor f satisfies an infon i
simpliciter iff 
, i.e. if there is a
situation s such that .