  We provide separations between the parameterized versions of Res(1)
(Resolution) and Res(2). Using a different set of parameterized contradictions,
we also separate the parameterized versions of Res*(1) (tree-Resolution) and
Res*(2).
