A Generalized forall Concept for Parallel Languages