Assertion list
class laser (subgroup of laser ) → ReceivesAction
Results from Ascent++: 2
class laser → ReceivesAction → equipped with a safety interlock 0.25
class laser → ReceivesAction → equipped with key switch 0.25