Added predicate aliases that make more sense in some contexts