object constraint notation