This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
The similarity method of mass flow, as it is called in this paper, is different from the methods of equational analysis and the dimensional analysis.