implemented FormulaGreaterThan::FormulaGreaterThan().