Assertion list for term "constitute with the input-side lens".
Results from Ascent++: 1
lens element (aspect of lens) → CapableOf → constitute with the input-side lens 0.25