km#generalization_structural_search
  supertype:  km#generalization_search  km#structure_only_based_search
  subtype:  km#generalization_structural_search_of_FOL_statements

No statement uses or specializes km#generalization_structural_search; click here to add one.