spatio-temporal reasoning