amr2fol Transform Abstract Meaning Representation (AMR) annotations to First Order Logic (FOL) formulas. Implementation (with some additions) of "Expressive Power of Abstract Meaning Representations", J. Bos, Computational Linguistics 42(3), 2016..