Ibn Ezra

Ariel. Jerusalem. According to some, Ariel is the name of Jerusalem, on account of the altar therein, which is called הראל and also אריאל Harel and Ariel (Ez. 43:15, 16); for the letters אׄ הׄ וׄ יׄ interchange; according to others, on account of her planet being the lion; but this is absurd. קרית The city; it is in the construct state; supply אמת of truth, or some similar word: the city of truth, where David hath dwelt; or the city, where David dwelt, since the whole sentence, with the past tense of a verb, can in this case be considered as a noun in the genitive governed by a preceding substantive; comp. בראשית ברא in the beginning, when God created, etc. (Gen. 1:1); תחלת דבר וגו׳ the beginning of the Lord’s speaking to Hosea (Hos. 1:1). ספו Add. Comp. לספת to add (Num. 32:14). חגים Sacrifices. ינקפו Will cease. It is a neuter verb. It can also be rendered: they shall kill, ינקפו being explained to be a transitive verb with the omission of the subject (הנקפים the men that kill); comp. ויאמר ליוסף and one said to Joseph (Gen. 48:1)