successor-state-axiom-per-fluent-pattern

Summary

This is the rule the system uses to figure out what the world looks like after an action: for every property, it holds afterward only if the action created it or it was already there and the action didn't undo it. Without this pattern, the system has no way to predict consequences or track how the world changes step by step, so every downstream reasoning about plans and outcomes depends on it.