documented
Kindly explain what "OR" means in this message. Thanks.
I believe OR is an operator to handle disjunctions.