We illustrate the non-deterministic use of DL with English particle shift, using labeled natural deduction format to display derivations, with items Form-Meaning:Type. A verb-particle combination ‘call — up’ can be lexically typed as ∨(np\s) ↑ np of sort 2, with an internal split point, and a right-peripheral one. Elimination of the non-deterministic extraction operation ↑ offers a choice as to whether wrapping will affect the first or the second split point. The first option is displayed below. The remaining separator is removed in the elimination step for ∨, with the continuous verb phrases ‘call Mary up’ or ‘call up Mary’ as result.