Assertion list
laser mouse (subgroup of mouse ) → ReceivesAction
Results from Ascent++: 1
laser mouse → ReceivesAction → used on glass 0.64