Truth approximation by concretization