system aspect of diver, 6 assertions
HasProperty 1
effective 0.16
ReceivesAction 5
implemented 0.68
inspected 0.25
designed 0.25
improved 0.16
employed 0.12