Impose axiom relation type
Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.
Directed semantics
Every direct mAtlas edge is an authored source → target assertion of this type.
Machine-readable record
/data/latest/relation-types/impose-axiom.json provides this definition and the IDs of every direct relation of this type.
A path may traverse an edge backwards for connectivity, but that never reverses the authored source-to-target assertion.