Assertion list
format (primary) → DefinedAs
Results from Ascent++: 1
format → DefinedAs → a data definition 0.27