context AdhocQueryConstrains
inv: self.slot->forAll(s : SlotType1 |
	(
		not(s.name.oclIsUndefined()) and
		s.name = '$MetadataLevel'
	)
		 implies
	(
		not(s.valueList.oclIsUndefined()) and
		s.valueList.value->forAll(v : String |
			v = '1'
			)
	)
)