diff --git a/owl2_output.pl b/owl2_output.pl
index c82e8db..726e1c3 100644
--- a/owl2_output.pl
+++ b/owl2_output.pl
@@ -24,8 +24,8 @@
 output_axioms :-
     forall((subclassof(A,B), not(indirect(A,B)), not(indirect(B,A))), write_subclassof(A, B)),
     forall((subclassof(A,B), compare(<,A,B), (subclassof(B,A) ; indirect(B,A))), write_equivalentclasses(A, B)).
-;output_axioms :-
-;    forall((subclassof(A,B), not((subclassof(A,C), subclassof(C,B)))), write_subclassof(A, B)).
+%output_axioms :-
+%    forall((subclassof(A,B), not((subclassof(A,C), subclassof(C,B)))), write_subclassof(A, B)).
 
 write_subclassof(A, B) :-
     class(A, UriA),