Even though the sematic value of a production is a

function of the attributes of its right-hand side (and thus

apparently purely synthesised), inherited attributes are

easily simulated by using higher-order functions.