% From The Art of Eyepl, Chapter 32 — Reduce to the smallest disputed ground question.
query(eligible(alex)).