Assertion list
archive (primary) → DefinedAs
Results from Ascent++: 2
archive → DefinedAs → library 0.25
archive → DefinedAs → notautomatic 0.25