A Representation of the Trac World in the Language of the Causal CalculatorSteps Toward Formalizing Context
