VJAR, chapter 20 (Reattaching entities), page 311

     Assignment rule

     An Assignment is valid if  and  only  if  its  source
     expression conforms to its target entity.
