nltk.sem.read_logic()

nltk.sem.read_logic(s, logic_parser=None, encoding=None)[source]

Convert a file of First Order Formulas into a list of {Expression}s.

Parameters:
  • s (str) – the contents of the file
  • logic_parser (LogicParser) – The parser to be used to parse the logical expression
  • encoding (str) – the encoding of the input string, if it is binary
Returns:

a list of parsed formulas.

Return type:

list(Expression)