static LS generalDefinition_texts(S term) {
  ret map dropGlobalID(generalDefinition_get(term));
}