def arity_bigger_than(clause, value):
    """
    Returns `True`, if the arity of the `clause` is bigger than `value`. The
    arity of a clause is defined by the maximum arity of the literals in the
    clause.

    :param clause: the clause
    :type clause: HornClause
    :param value: the value
    :type value: int
    :return: `True`, if the arity of the `clause` is bigger than `value`;
    otherwise, `False`
    :rtype: bool
    """
    if clause.head.arity() > value:
        return True

    for atom in clause.body:
        if atom.arity() > value:
            return True

    return False