Cutting Down the TPTP Language (And Others). - Nahku Saidy; Hanna Siegfried; Stephan Schulz 001; Geoff Sutcliffe (PAAR+SC²@IJCAR, 2020)