maedmax: Maximal Ordered Completion
Array ( )

webAutomatic session/1d3q3i3uu9c5su67mnl0u5bfh1

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