See https://eyereasoner.github.io/eye/#eye-reasoning
