DL Predicate DL[;Q] -> DL[Q]