km#structure_only_based_search
  supertype:  knowledge_search_task  structure-only_based_inference
  subtype:  specialization_structural_search
  subtype:  generalization_structural_search
     subtype:  generalization_structural_search_of_FOL_statements

No statement uses or specializes structure_only_based_search; click here to add one.