Added more axioms parsing tests