In order to avoid using the values of the basis set, I've had to dispense with the definition of the measurement function in the various quantifiers and have done so instead as an example (which isn't ...

Terms and formulas in LP can contain existential and universal first-order quantifiers. Examples: ...