The axioms in queries, repairs and test cases should be represented in the form of Manchester Syntax.
For example: