Term Broader Term-Narrower Term Specialisations Generalisation Broader Narrower Related Terms Related Term Synonym Preferred Term Non-Preferred Term Scope Note Coq