Assertion list
document (primary) → DefinedAs
Results from Ascent++: 1
document → DefinedAs → exhibit 0.54