A restricting tag for fact resolution mechanisms. The tag must be true for the resolution mechanism to be suitable.