VJAR, chapter 20 (Reattaching entities), page 311

     Assignment rule

     An Assignment is valid if and only if its source expression
     is compatible with its target entity.
