@wilbowma @koronkebitch @JonathanAldrich Strong agree. A judgment (sorry, no 'e' from me) is a relation. Which relation is defined by the collection of corresponding rules.