static LS generalDefinitions_texts(S term) {
  ret generalDefinition_texts(term);
}