The category "<n-pl-kind>" can be expressed as follows:
<n-not_mod-pl-kind> of <n-not_mod-not_proper_name-kind>
kinds
sorts
types