APPROVED Jos De Roo A property with maximum cardinality of two cannot take three distinct values on some subject node.