Meaningful grammar is binary, local, anti-symmetric, recursive and incomplete
Meaning is computed best in the context of explicit grammar. Automated grammarfor parsing and generation is formal. Its representations and its architectureare determined by the interaction of form and meaning. Serious form and seriousmeaning, however, cannot be projected on each other. Therefore, the representationsand techniques for automation of grammar had better be as strictas possible, to limit the degree of imprecision and to maximize the linguisticcoverage. In this article, we identify five aspects of formal grammar that accordingto our experience with grammar-in-action are worth to be observed whentargeting logical form. Three aspects concern rules and representations: binarity,antisymmetry and locality. Two aspects relate to the architecture of meaningfulgrammar: recursion and incompleteness.