semantic: Disallow MI to scope assignment.