A Formal Systems Approach to Machine Capture, Representation and Use of Activity Context