scope QualifiedEmployeeDiscount :

    definition qualified_employee_discount

      under condition is_property consequence

    equals

      if employee_discount >=

        customer_price \* gross_profit_percentage

      then customer_price \* gross_profit_percentage

      else employee_discount

It feels like the best of both worlds, a syntax that is new and strange to use while basically being the same old abc If Else programming language.

Not sure I'm seeing any law-specific features either. Maybe if there were some tokens like 'jurisdiction' or 'jurisprudence', but it seems like yet another programming language.