On the semantics of STRIPS