Assertion list
angle (aspect of lens ) → DefinedAs

Results from Ascent++: 1
angleDefinedAs the substrate 0.25