Convert Abstract Meaning Representation (AMR) into first-order logic - View it on GitHub