(* Containers which permit repetitions of the contained objects *) bag.sa -has bag.sa $RO_BAG $BAG bag_incl.sa -has bag_incl.sa BAG_INCL h_bag.sa -has h_bag.sa H_BAG BAG bag_test.sa -has bag_test.sa TEST_BAG