WIP Semantics for Alternatively