select when X < Y => accept Foo (Item : in Integer) do .. end; or when Y < Z => accept Bar ( ... ) end select;