Constant STANDARD_API_AXIOM_COUNT 

pub const STANDARD_API_AXIOM_COUNT: usize = 6;

Number of semantic axioms defined by StandardApiReasoning.