diff --git a/owl2_fol.pl b/owl2_fol.pl
index 4f55f0e..77e9c3a 100644
--- a/owl2_fol.pl
+++ b/owl2_fol.pl
@@ -119,18 +119,19 @@
 to_fol(New, self A, (Fa)) :-
     Fa=..[A,New,New].
 
-to_fol(New, [Number, P] min A, unknow).
-to_fol(New, Number min A, unknow).
-to_fol(New, [Number, P] min_d A, unknow).
-to_fol(New, Number min_d A, unknow).
-to_fol(New, [Number, P] max A, unknow).
-to_fol(New, Number max A, unknow).
-to_fol(New, [Number, P] max_d A, unknow).
-to_fol(New, Number max_d A, unknow).
-to_fol(New, [Number, P] exact A, unknow).
-to_fol(New, Number exact A, unknow).
-to_fol(New, [Number, P] exact_d A, unknow).
-to_fol(New, Number exact_d A, unknow).
+% TODO: cardinality axioms
+to_fol(_New, [_Number, _P] min _A, unknow).
+to_fol(_New, _Number min _A, unknow).
+to_fol(_New, [_Number, _P] min_d _A, unknow).
+to_fol(_New, _Number min_d _A, unknow).
+to_fol(_New, [_Number, _P] max _A, unknow).
+to_fol(_New, _Number max _A, unknow).
+to_fol(_New, [_Number, _P] max_d _A, unknow).
+to_fol(_New, _Number max_d _A, unknow).
+to_fol(_New, [_Number, _P] exact _A, unknow).
+to_fol(_New, _Number exact _A, unknow).
+to_fol(_New, [_Number, _P] exact_d _A, unknow).
+to_fol(_New, _Number exact_d _A, unknow).
 
 to_fol(New, A, (Fa)) :-
     Fa=..[A,New].
diff --git a/owl2_leancop.pl b/owl2_leancop.pl
index bfe78bf..4247491 100644
--- a/owl2_leancop.pl
+++ b/owl2_leancop.pl
@@ -42,7 +42,7 @@
 %%%%%%%%%%%
 
 setup_matrix :-
-    owl2_to_matrix(Prefixes, Axioms, Fol, Matrix),
+    owl2_to_matrix(Prefixes, Axioms, _UnUsed_Fol, Matrix),
     process_prefixes(Prefixes),
     process_axioms(Axioms, Concepts),
     assert_clauses(Matrix, conj),
@@ -77,7 +77,7 @@
         ; % print debug information
         write_debug_tuple('Parsed', 'false'),
         atom_codes(InputAtom, Input),
-        atomic_list_concat([PreOnto, PostOnto], 'Ontology', InputAtom),
+        atomic_list_concat([_TODO_PreOnto, PostOnto], 'Ontology', InputAtom),
         atomic_list_concat(AxiomList, '\n', PostOnto),
         forall((member(Ax, AxiomList), atom_codes(Ax, AxInput)), (axiom(_, AxInput, []) -> true; write_debug_tuple(Ax, 'failed'))),
         fail).
@@ -89,7 +89,7 @@
     process_prefixes(List).
 
 process_axioms([], []).
-process_axioms([class [Class, Uri]|Axioms], [Concept|Concepts]) :-
+process_axioms([class [Class, Uri]|Axioms], [_UnUsed_Concept|Concepts]) :-
     assert(class(Class, Uri)),
     process_axioms(Axioms, Concepts), !.
 process_axioms([A is_a B|Axioms], Concepts) :-