class laser subgroup of laser, 4 assertions
HasProperty 2
safe 0.59
dangerous 0.34
ReceivesAction 2
equipped with key switch 0.25
equipped with a safety … 0.25