First successful syntax to define a STRIPS planning problem