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