TMQL only has an axis for going from reifier to reified, but no operation for going the other way. Is this needed?