Copy of a proposal to create a metalanguage to describe semantics See original record