wire rope subgroup of rope, 4 assertions