Storing and reconciling the facts asserted by assertion sentences. This is version 1.

• Preliminaries

• Chapter 1: Configuration and Control

• Chapter 2: Instances and Variables

• Chapter 3: Properties

• Properties - Subjects in the model world have properties associated with them: some either/or, others with values.

• Either-Or Properties - Properties which can either be present or not, but have no value attached.

• Either-Or Property Adjectives - Names of either-or properties when used as adjectives.

• Valued Properties - Properties which attach values to subjects, with such values always having a given kind.

• The Provision Relation - To define the provision relation, which determines which properties can be held by which objects.

• Same Property Relation - Each value property has an associated relation to compare its value between two owners.

• Setting Property Relation - Each value property has an associated relation to set its value.

• Measurements - To define adjectives such as large, wide or roomy, which make implicit comparisons of the size of some numerical property, and which lead to comparative and superlative forms.

• Measurement Adjectives - The family of adjectives arising from property value comparisons.

• Comparative Relations - When a measurement adjective like "tall" is defined, so is a comparative relation like "taller than".

• Chapter 4: Subjects

• Chapter 5: Modelling

• Inferences - An inference is a single datum about the world model, believed to be true or untrue and with some degree of certainty.

• Property Inferences - Inferences that a property of something is true, or has a particular value.

• Indefinite Appearance - When the source text comments on something with a sentence consisting only of a double-quoted literal text, we infer that as an indefinite appearance property.

• Relation Inferences - Inferences that a relation holds between two subjects or values.

• The Model World - Once the assertions have all been read and reduced to inferences, we try to complete our model world.

• The Naming Thicket - Inform has a thicket of properties to do with names: not just the name itself, but whether it is a plural, a proper name, and so on. Here we look after these properties, and give them their initial states.