Extrapolatable Relational Reasoning With Comparators in Low-Dimensional Manifolds