create_future_rt function

Construct the Required Future Rt assumption