nltk.ResolutionProverCommand.goal

ResolutionProverCommand.goal()

Return the goal

Returns:Expression