![]() | 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 |