-- Abstract description of an access (local, argument or feature). It is -- necessary the first call in a nested expression. class ACCESS_ID_AS inherit ACCESS_INV_AS feature end