Searched refs:LogicParser (Results 1 – 8 of 8) sorted by relevance
14 from nltk.sem.logic import LogicParser, APP31 class LinearLogicParser(LogicParser):35 LogicParser.__init__(self)
102 class LogicParser(object): class607 logic_parser = LogicParser()955 _logic_parser = LogicParser()956 _type_checking_logic_parser = LogicParser(type_check=True)
35 LogicParser,71 class DrtParser(LogicParser):75 LogicParser.__init__(self)
351 >>> from nltk.sem.logic import LogicParser # hack to give access to custom quote chars352 >>> lpq = LogicParser()541 >>> from nltk.sem.logic import LogicParser542 >>> tlp = LogicParser(True)
66 nltk.sem.logic.LogicParser. Requires an additional logic_parser
104 LogicParser,2191 logic_parser = LogicParser()
916 logic_parser=nltk.sem.logic.LogicParser(),
455 * Added error messages to LogicParser497 * updated to LogicParser, DRT (Dan Garrette)