Hi, I think that my proposal for property constraints works fine provided that (for example) $con is the property instance of a consumer rather than the consumer entry. I will upload my slides shortly so that those not present in Seattle can see what this is about. I will have a think about the other constraint types Steve