The determiner Det denotes the function D which takes two sets, S and P as arguments and gives a truth value as result.
in the next section i show why and how the class of complex demonstratives should be extended.