phrase(+ P, L, R)*
This predicate succeeds when the difference list _L_- _R_ is a phrase of type P.
_L_- _R_