For example, the marriage between John Smith and Mary Jones Smith is a relationship that cannot be addressed by a computer. However, an assertion that reifies that relationship is addressable, and therefore it is possible for that assertion to play roles in other assertions that, in effect, can make statements about the marriage of John and Mary.

Examples are inappropriate in the definition. If included at all,
should be note to the definition.