Assertion list
feature (aspect of camera ) → DefinedAs
Results from Ascent++: 1
feature → DefinedAs → red circles 0.25