Added comments for some methods in clause_form.py and a general comment in fol.py