expanding reification rules.