spatiodeterministic semiordered semi-decidable semifree semifractal semidistributive semiseparable deterministic semiquantifiable partial