Given a Polish space X and a countable collection of analytic hypergraphs on X, I consider the σ-ideal generated by Borel anticliques for the hypergraphs in the family. It turns out that many of the quotient posets are proper. I investigate the forcing properties of these posets, certain natural operations on them, and prove some related dichotomies.

We answer a question of Cummings and Magidor by proving that the P-ideal dichotomy of Todorčević refutes ${\square}_{\kappa, \omega}$ for any uncountable $\kappa$. We also show that the P-ideal dichotomy implies the failure of ${\square}_{\kappa, < \mathfrak{b}}$ provided that $cf(\kappa) > {\omega}_{1}$.