printAxiom :: Axiom -> Doc
printAxiom (Axiom sub pre obj) = pretty sub <+> pretty pre <+> pretty obj
                                                                    <+> text "."
printAxiom :: Axiom -> Doc
printAxiom (Axiom sub pre obj) = pretty sub <+> pretty pre <+> pretty obj
                                                                    <+> text "."
printAxiom (Axiom sub pre obj) = pretty sub <+> pretty pre <+> pretty obj
                                                                    <+> text "."