get_canonical_noun

Function get_canonical_noun 

Source
pub fn get_canonical_noun(word: &str) -> Option<&'static str>
Expand description

Get the canonical lemma for a noun.

Maps inflected forms to their dictionary headword:

  • “men” → “Man”
  • “children” → “Child”
  • “farmers” → “Farmer”

This is used for predicate canonicalization in the proof engine, ensuring “All men are mortal” and “Socrates is a man” produce matching predicates.