nltk.ParallelProverBuilderCommand.add_assumptions

ParallelProverBuilderCommand.add_assumptions(new_assumptions)

Add new assumptions to the assumption list.

Parameters:new_assumptions (list(sem.Expression)) – new assumptions