# def_counts:
counts :=  table(gender, age_group)

# rule_13:
all(counts <= 1)
