On Thu, 20 Nov 2008, Alex Smith wrote: > Implicit claims don't affect precedence; R1030 explicitly requires > precedence claims to be explicit. There is definitely no comparison of > strength of implicit claims! If there is a claim on both sides, or a > claim on neither side, go numerical; and R2126 beats R2156, with R1586 > being irrelevant.
Actually, you're right, R1586 is not wholly relevant: it very strongly implies something exists only as far as its definition allows, but doesn't come out and say that. It's R754 that says a term defined in the rules is tied to its definition, and that its definition takes precedence. So if R2126 causes something to take a value outside its defined range, it conflicts with R754. I hope, by your current ordering, that R754 still wins. -Goethe
