Classifying Candidate Axioms via Dimensionality Reduction Techniques