A Formal Model for Human Motion