| Chapter 13: Relations |

| 13.8. The built-in verbs and their meanings

It is all very well to define new relations, but this does nothing if there is no way to assert that they are true, or to ask whether they are true or false. That requires a verb: in fact, a relation is nothing more than what Inform uses as the "meaning" of a verb. The assertion verbs built in to Inform have the following built-in relations as their meanings:

> Verb - Relation
> to be - (none as such)
> to have - possession relation
> to contain - containment relation
> to support - support relation
> to carry - carrying relation
> to wear - wearing relation

Two of Inform's built-in relations are expressed using prepositions instead:

> Preposition - Relation
> to be part of - incorporation relation
> to be adjacent to - adjacency relation

It would be easy to make verbs for these if we wanted ("to incorporate", say, or "to adjoin") using the techniques of the next section.

The verb to be is grammatically different from any other, and its meaning is too complicated to be expressed by a relation. A great deal of the Inform program is given over to its "meaning", which we are not allowed to change or imitate. But the other verbs are quite simple.

Previous | Contents | Next