Terminology inferences updated