SysML1.0, 10.3.2.2 ConstraintProperty:
'A constraint property is a property of any block that is typed by a constraint block.
..
[2] The ConstraintProperty stereotype must be applied to any property of a SysML Block that is typed by a ConstraintBlock.'
These may both misinterpreted as applying to "any block that is typed by a constraint block" and "a SysML Block that is typed by a ConstraintBlock" rather than a constraint property typed by a constraint block. Rewrite so that the type condition clearly applies to the owned constraint property, not the owning block, thus:
'A constraint property is a property that is typed by a constraint block and is owned by a block.
.
[2] The ConstraintProperty stereotype must be applied to any property that is typed by a ConstraintBlock.'
(Note that the first constraint already makes it clear that a constraint property is owned by a SysML Block: [1] A property to which the ConstraintProperty stereotype is applied must be owned by a SysML Block.)
