We propose a new mathematical engine for reasoning with abstraction to support engineering design. The new Quantity Lattice (ql) will be built on the foundation of the existing Quantity Lattice by Reid Simmons Simmons, 1986], the Bounder inequality reasoner by Elisha Sacks Sacks, 1987b], and the Minima hybrid real/sign algebra by Brian Williams Williams, 1991]. The new ql supports representatio...

The current study is undertaken within the project Swedia 2000, one objective of which is the development of a quantity typology for Swedish dialects. To that end, a series of studies has hitherto been undertaken. Strangert and Wretling (2002), Schaeffler, Wretling and Strangert (2002) and Schaeffler and Wretling (2002) report on temporal and/or spectral aspects of quantity distinctions in Nort...