overhead crane subgroup of crane, 5 assertions