Describir: Reasoning about Change and Persistence: A Solution to the Frame Problem.