May come in future: QCR

• “Qualified cardinality restriction”: combining cardinality and value restriction

• • “there should be exactly two listed price tags with currency value”