nltk.MaceCommand.assumptions

MaceCommand.assumptions()

List the current assumptions.

Returns:list of Expression