A property existence constraint stipulates that a property does indeed exist on a node that is of the node type specified by the named selector. ModeShape does allow the "NOT" qualifier to be excluded, which turns the constraint into a stipulation that the property does not exist on the node.