A significant number of useful applications will be facilitated by the ability
to perform more complicated calculations when specifying data objects. Allowing
a restricted class of non-intrinsic functions in certain specification
expressions achieves this goal.