Symbol: OBJ_SEMGROUP