public interface FOConvertable
java.util.Set<FOFormula>
toFOL(Environment e)
java.util.Set<FOFormula> toFOL(Environment e)