The general aim of this paper is to propose a reductionist strategy to higher-level property types. Starting from a common ground in the philosophy of science, I shall elaborate on possible realizer ...