Assertion list
preferred embodiment (subgroup of embodiment ) → HasA
Results from Ascent++: 1
preferred embodiment → HasA → single longitudinal strip 0.25