property constraint (P100)