- Still a few axioms that need to be implemented. - OWL/XML output? - Split some more common idioms out into traits.