Problem:
We don't have a mode for getting results from constraints in order to avoid repeating the same type of violation.
Example:
Constraint A has 10000, whereas B has 10. Then we should return results from A and B in a 1:1 ratio rather than 1000:1. However, if there are 1000, it may not appear as a "curious fact" at all.