From Next Token Prediction to (STRIPS) World Models -- Preliminary Results