Displaying a trace of anchoring of parameters in each solution. The computation upon issuing a query is done either by direct querying through situations or by the application of backward-chaining constraints. A situation, s , supports an infon if the infon is either explicitly asserted to hold in s , or it is supported by a situation which is part of s , or it can be proven to hold by application of backward-chaining constraints. BABY-SIT enhances the basic features of situation theory. Situations are viewed at an abstract level.
Parameters are place holders and can be anchored to unique individuals in an anchoring situation.
A situation can be realized if its parameters are anchored, either partially or fully, by an anchoring situation. That is, only anchoring the parameters of an infon contributes a piece of information about the situation. A hierarchy of situations can be defined both statically and dynamically. A situation can have information about another which is part of the former. Situations and constraints can be grouped to form a whole which provides a computational context.