を前提に => On the premise of N1
Premise
場合(は) => in the event of; in the case that ~ N4