nltk.ParallelProverBuilderCommand.assumptions

ParallelProverBuilderCommand.assumptions()

List the current assumptions.

Returns:list of Expression