search

jessealama / tipi

Theory development with TPTP
6 stars 0 forks source link

better presentation of the symbol summary of a TPTP problem #6

Open peoppenheimer opened 12 years ago

peoppenheimer commented 12 years ago

tipi would benefit from a better presentation of the symbol summary of a TPTP problem. It is desirable that the arity of each symbol be presented, and its number of occurrences in the problem.

If the symbol summary is run standalone before any other tool has a chance to report an arity clash, then the symbol summary tool should report it.

Any other sanity checks that can be done during symbol summarization should be done.

Hapax legomena should be highlighted, with the possible exception of the reserved relation symbols "equal" and "=". In case some future program that accepts tptp problems as input handles either of those symbols in a non-standard way, it might be just as well to highlight them as well when they occur uniquely.

jessealama commented 12 years ago

Thanks for reporting. I'm on it.