You mean it’s all horn clauses? (Discussion)

[dtonhofer]

That made me laugh. But when will we upgrade to Harrop Formulas. It’s been … nearly 50 years.