km#consistent_inference
  exclusion:  inconsistent_inference
  supertype:  knowledge_inference/reasoning/generation__knowledgeinference/reasoning/generation
  subtype:  consistent_knowledge_search

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