constraintdef -> <ConstraintDef ID="..."> constraintexp </ConstraintDef> constraint -> <Constraint IDRef="..."/>