@@ -111,7 +111,7 @@ Next to the set of Acquired Test Cases you have the **Original Test Cases** show
While the Aquired Test Cases lists the answers the user has given the Original Test Cases list manually added axioms that the user wants to be entailed or not entailed in the intended ontology.