actions shoot,load; fluents loaded,alive; rules not alive if shoot and prev(loaded); not loaded if shoot and prev(loaded); loaded if load; initially alive,loaded; do { shoot; load; shoot; }