arbitraging sub-manifolds by syntactic resolution