Updates cardinality formulas to accept standard choice rule syntax {F} instead of requiring {|F}.