I finished a long project for work today. A translation from an old but important theorem prover into our knowledge representation format. It's finally done. \o/

May I present to you the graph that I wanted since 2016!