Abstract constraint Service argument