Assertion list
video camera (subgroup of camera ) → HasA
Results from Ascent++: 1
video camera → HasA → lens 0.48