Assertion list for term "f/1.4".
Results from Ascent++: 1
lens → HasProperty → f/1.4 0.48