Task Sequence Variable Reference In Semantics