Function necessary_normal_form 

pub fn necessary_normal_form(axioms: &[Axiom]) -> NecessaryNormalFormReport

Computes the necessary normal form of every concept axioms mention, via classification (spec/13) plus stated-profile redundancy elimination (spec/14). axioms is read multiple times (classification, stated-profile extraction, role hierarchy) — a slice, not a single-pass iterator, unlike classify.