Vitalsource Technologies, Inc. Handlungstheoretische Semantik