% From The Art of Eyepl, Chapter 33 — Pattern 8: Proof façade.
within_limit(Device) :-
  reading(Device, Value),
  maximum(Max),
  le(Value, Max).

status(Device, safe) :-
  within_limit(Device).