Make selections in RA more general - this is needed to support Datalog to RA translation.