Semantics and Implementation of a Generalized forall Statement for Parallel Languages