nltk.ReadingCommand.to_fol¶

ReadingCommand.to_fol(expression)[source]¶

Convert this expression into a First-Order Logic expression.

Parameters:	expression (Expression) – an expression
Returns:	a FOL version of the input expression
Return type:	Expression