Map topology inputs to properties in substitution mapping