(1)最初に意図されていたものより短くする
(2)必須の要素を保持している間、範囲が減少する
(3)長さあるいは期間を減らすまたは縮小する
(4)make shorter than originally intended
(5)reduce or retrench in length or duration
さらに詳しく