'Return an application expression with \'predicate\' as the predicate
and \'signature\' as the list of arguments.'

def _make_antecedent(self, predicate, signature):

    antecedent = predicate
    for v in signature:
        antecedent = antecedent(VariableExpression(v))
    return antecedent
