7.1.1. Context
A Context is a product type. A Context is the product of a number of roles, at the very least just a single one. In our programs we attribute special meaning to that single role: it represents the Context. In this account of semantics of PL it does not figure, however, otherwise than that there must be at least a single role for a Context. There is no empty context in PL.