Global variable name substitution
Fxhnd opened this issue · comments
When extracting variables in clif.py [get_sentences_from_file] for parsing make sure to uniquely identify each variable across all sentences.
Use code from clif.py [sentence_to_tptp] as an example of what happens.
Closing this as it's OBE now.