semantics oriented language{=SEMANOL}