asymmetric Lovász Local Lemma

GPTKB entity