Dmitry67

Well, it is a wordy stuff, which defines the word 'measurement' besed on some human concept of 'an experiment', 'find something'. It is poetry, not physics.

I need a binary-valued predicate, IsMeasurementDevice(system).