References for: np6.RAInOfSHEs
Full identifier: http://www.tkuhn.org/pub/sempub/sempub.trig#np6.RAInOfSHEstOH5sFIJr-gCH2G95tJT8d0Sudp-7uSvRQI
Full identifier: http://www.tkuhn.org/pub/sempub/sempub.trig#np6.RAInOfSHEstOH5sFIJr-gCH2G95tJT8d0Sudp-7uSvRQI