S5 is useful because it avoids superfluous iteration of qualifiers of different kinds.
S5 是有用的因为他避免了不同种类的量词的过量重复。