The purposes of thie chapter seem to be to describe a method of "semantic analysis" which is suitble for:
©
Created:2007/07/09
$Id: carnap47a.xml,v 1.1 2007/07/17 15:55:51 rbj01 Exp $