Assertion: hole argument | /r/CapableOf | reappear in latter formalism
Facets:
value: under this translation
type: OTHER
Source sentences:
text: If the formalisms of manifolds and of Leibniz algebras are intertranslatable, one would expect the hole argument to reappear in the latter formalism as well under this translation.