No, you completely misunderstand. I want to tell MMA that this Symbol (whatever it is) should be treated in all Logical tests as say a Positive, Real number. So, A>0 should return True, A>=0 should return False, Positive[A] should return True, Negative[A] should return False, etc for any and all possible tests that are syntactically correct logical statements that evaluate. Now, sometimes, e.g. 0<B<A will depend upon whether B has a value, upvalue, downvalue, etc. but I want MMA to infer that if A has an upvalue of Positive[A]=True, then every other relationship which is equivalent to this, such as Head[A] should return OR[Real,Integer,Rational], not Symbol.
Hope this helps. Cheers/Bob
