Solutions cover all three questions.[ref]
Knowledge representation and reasoning examination paper of the University of Oxford (2015). Questions 1–3, printed pages 2–5; Algorithm 1 on page 3
Throughout, the vocabulary in question 1 is interpreted as specified in the paper; in particular, the intended meaning of supplies the number of supervised students. Question 2 distinguishes EL from EL with bottom explicitly, since the convention about changes two answers.