First Order Logic

If you are doing this, you will have to add <code>is_Fol = False</code> to <code>Basic</code>.
Why not FOL instead of Fol?