def element_is_covered(u, subset, p_leq_q, p_to_q, fol):
    """Return `True` if some element of `subset` covers `u`.

    Covering is computed using `p_leq_q`.
    """
    r = fol.let(u, p_leq_q)
    for y in subset:
        yq = {p_to_q[k]: v for k, v in y.items()}
        if fol.let(yq, r) == fol.true:
            return True
    return False