Hi smithc
From your question I believe this should answer it,
An Examine ON statment must "ON" to be true, --] [--
An Examine OFF statment must "OFF" to be true, --]/[--
N.O. switch in a open state,
Examine ON = False
Examine OFF = True
N.O. switch in a closed state
Examine ON = True
Examine OFF = False
N.C. switch in a open state
Examine ON = False
Examine OFF = True
N.C. switch in a closed state
Examine ON = True
Examine OFF = False
All conditions must be true for an output to be true (Energised)