pub fn card_fixed_predicates() -> Vec<Symbol>
Returns the fixed Card predicate symbols in their stable schema order.