The Robots Domain. Problems in this domain are only propositional.
