pub fn min_cardinality_met(actual: usize, n: usize) -> bool
Qualified MIN cardinality ≥ n R.C satisfied?
≥ n R.C