Assertion list
template (primary) → DefinedAs
Results from Ascent++: 1
template → DefinedAs → feature 0.42