Which principle is illustrated by “ʿayn al-māʾ”?

Defining Literal Usage: Linguistic Assignment and Speech Convention

• ʿAyn always has only one sense
• A genitive construction can select a recognized sense
• ʿAyn has ceased to be used
• Every genitive construction is kināyah