is_postcondition_of

Direct succession applied to situations.
E.g., 'Taking some rest is a postcondition of my search for a hotel'.