mechanizations은(는) mechanization의 복수형이기도 합니다.