Constant AXIOM_KIND_CLASS_ASSERTION 

pub const AXIOM_KIND_CLASS_ASSERTION: &str = "class_assertion";