All the current approaches to co-predication are working with a notion of a single argument whose sort is either coerced into another sort or which is itself a product of two different sorts, which are "somehow fused into a single conceptual unit" (Cruse, 2000b, p. 116).
the current approaches implicitly work with a notion that complex arguments represent special sorts containing two component sorts.