Navigation among movable obstacles: real-time reasoning in complex environments | Synapse