class of constraints on the value of a statement with a given property. For constraint: use specific items (e.g. "value type constraint", "value requires statement constraint", "format constraint", etc.)
