The data definitions in the order entry modules of 12 wholesale distribution software packages were studied to determine whether (a) their high-level semantics complied with McCarthy's [1982] REA ...