onto-debugger.md

@@ -74,5 +74,5 @@ Next we can define if we want to enrich the queries, set the sort criterion, a r
 If we have set the options and did get some diagnoses, we can press the *Get Query* button to generate a query.
 ![queries](/uploads/fb14daaa272427520aa75e25060502ce/queries.PNG)
 
-The expert can now tell, if the axiom is entailed (by clicking on the + sign) or not entailed (click on the - sign). The question mark sign is currently not implemented., additionally, the adding of entailed and not entailed axioms to the diagnoses model is not yet implemented. In a future (soon), we will be able to get the next query according to this submission, if the expert/user wants to.
-Get Alternative Query and commit will be implemented soon.
\ No newline at end of file
+The expert can now tell, if the axiom is entailed (by clicking on the + sign) or not entailed (click on the - sign). The question mark sign is currently not implemented, additionally, the adding of entailed and not entailed axioms to the diagnoses model is not yet implemented. In a future (soon), we will be able to get the next query according to this submission, if the expert/user wants to.
+All this functionality will be implemented in near future.
\ No newline at end of file