Toward a Principled Sampling Theory for Quasi-Orders