Restores postprocessing and adds multivalued SomeValueFrom axiom
processing