def reldom_implies(a: tuple[cl.Relation, Domain], b: tuple[cl.Relation, Domain]):
    """If relation a is satisfied, is relation guaranteed to be satisfied?"""

    assert isinstance(a[1], Domain)
    assert isinstance(b[1], Domain)

    return a[0].implies(b[0]) and a[1].implies(b[1])
If relation a is satisfied, is relation guaranteed to be satisfied?
infinigen/core/constraints/reasoning/domain.py