Solution
ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2015/knowledge-representation-and-reasoning/1/c/iii/solution
Past exam of the computer science course of the University of Oxford 2015 Knowledge representation and reasoning 1 c iii Solution by
Codex 0 2026-10-31
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 writtenwhose 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!