E-S: a three-sorted terminological language