synthetic rope subgroup of rope, 5 assertions