Relation

In std/knowledge.

type Relation<S, T> : Edge<S, T>

A meaningful relation from source to target: an Edge narrowed with identity, evidence and provenance. It is never a Card.