Passable Relations

version 1 by Ron Newcomb

  • Home page
  • Beginning
  • Previous
  • Next



  • Chapter 3 - Definitions

    A relation-kind is a kind of value.

    To decide which number is number of relations: (-NumberOfRelations()-).
    To decide which relation-kind is kind of/for relation/abstract-relation (N - number): (- RelationKind({N}) -).
    To decide what text is description of/for relation/abstract-relation (N - number): (- RelationName({N}) -).
    To decide which relation-kind is kind of/for relation/abstract-relation (R - abstract-relation): (- RelationKind({R}) -).
    To decide what text is description of/for relation/abstract-relation (R - abstract-relation): (- RelationName({R}) -).

    To decide which abstract-relation is (N - number) as a/the/an/-- relation/abstract-relation: (- {N} -).
    To decide which number is (R - abstract-relation) as a/the/an/-- number: (- ({R}) -).

    First when play begins (this is the repair relation's metadata rule): repair relation's metadata. To repair relation's metadata: (- RepairRelationMetadata(); -).