supraquantivalence

not defined yet