Речник на българския език
ще са тераформирали е производна форма на тераформирам (бъд. пред. вр., 3 л., мн. ч.).