How to execute the FOL

Hi, 

Thanks for your great work, I really like it! 
But I want to ask that after the model generates the FOL, how should it be executed? You provided a link in the paper but it is broken somewhere.
Hope for your reply!

Best,
Tianbao

