nltk.TableauProverCommand.goal

TableauProverCommand.goal()

Return the goal

Returns:Expression