sdd:intent

sdd:intent links a sdd:Group to the condition its membership claims to satisfy — its object is an sdd:AllChildren or sdd:Selection blank node, one of the two fixed intent forms.

An sdd:intent quad is optional. Its absence means enumeration: the group is a plain list of whatever the author put in it, each member verified individually, with no claim that the list is complete. A present sdd:intent is what makes exhaustiveness — and its violation, an unexpected new member at the source — a checkable property of the group at all.