Formal Properties of Measurement Constructions by Kimiko Nakanishi