prefer coercion u
prefer coercion (uri | term)
The already declared coercion u is preferred to other coercions with the same source and target.