Bonferroni inequalities

GPTKB entity