maedmax: Maximal Ordered Completion
Array ( )

webAutomatic session/m9e8mugb7npg1recltmroj2ht2

Input   (in tptp or trs format)
or upload file
within timeout of seconds.