Method parse

nltk/sem/logic.py:139–164

Parse the expression. :param data: str for the input to be parsed :param signature: ``dict `` that maps variable names to type strings :returns: a parsed Expression

(self, data, signature=None)

        self.right_associated_operations = [APP]

    def parse(self, data, signature=None):
        """
        Parse the expression.

        :param data: str for the input to be parsed
        :param signature: ``dict<str, str>`` that maps variable names to type
            strings
        :returns: a parsed Expression
        """
        data = data.rstrip()

        self._currentIndex = 0
        self._buffer, mapping = self.process(data)

        try:
            result = self.process_next_expression(None)
            if self.inRange(0):
                raise UnexpectedTokenException(self._currentIndex + 1, self.token(0))
        except LogicalExpressionException as e:
            msg = "{}\n{}\n{}^".format(e, data, " " * mapping[e.index - 1])
            raise LogicalExpressionException(None, msg) from e

        if self.type_check:
            result.typecheck(signature)

        return result

    def process(self, data):
        """Split the data into tokens"""