Assertion list
today (primary) → DefinedAs
Results from Ascent++: 1
today → DefinedAs → refinement 0.16