maedmax: Maximal Ordered Completion
Array ( )

webAutomatic session/edq3qts3j609rb4cvtuii3rir0

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