Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2015/knowledge-representation-and-reasoning/1/c/iii/solution

The standard relational guarded fragment contains . In (i), guards the only quantified variable:
The constants in the course-taking relation do not introduce additional free variables that need guarding.
For (ii), use the two implications from part (c)(i). Each outer universal quantification is guarded by its unary category predicate. The inner existential quantification can be written
whose guard contains both and . Sentence (iii) uses a nonconstant function and so is outside the standard relational guarded fragment. This conclusion uses the original vocabulary; it does not silently replace the counting term by a fresh relation.

New to topics? Read the docs here!