Redefined classifying predicate in terms of parallel composition.