Added a few more demonym axioms