**4. An overview of context logic**

We now specify the context logic language and describe a semantics similarly in terms of a predicate logical language, which in turn can be related to lattice structures and thus fuzzy logical semantics.

### **4.1 Contextualization in context logic**

Context logic has only one type of basic entity, *context variables*, and a single partial order relation ⊑ (*part of* or *sub-context*): the city of London, for instance, is a sub-context of England, and March 2017 is a sub-context of the year 2017:

London ⊑England
