Process Mining as First-Order Classification Learning on Logs with Negative Events · Study