@augment_method_from(WebAPIResource)
    def get(self, request, *args, **kwargs):
        pass
:param goal: Input expression to prove
dataset/ETHPy150Open reviewboard/reviewboard/reviewboard/webapi/resources/hosting_service.py/HostingServiceResource.get--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/ResolutionProverCommand.__init__