def get_descriptive_string(value, pred_function):
    """
    a helper function that formats a predicate and argument in a nice human-readable format

    Args:
        value: the argument of the predicate
        pred_function: a predicate function
    """
    return "F({}), where F(x) evaluates\n\t {}".format(value, pred_function)