generated at
前提とする
前提 + とする(仮定