謂語交叉模型（predicate intersection model），由梅耶於1970年提出的集理論模型。用於解釋全稱語句和特稱語句的加工過程。該模型包含兩個加工階段，第一個階段是判定主語與謂語是否交叉。第二個階段為判定主語是否為謂語的子集或下級概念。如“所有金絲雀都是鳥”，在第一個階段的加工過程中，通過對主語“金絲雀”和謂語“鳥”兩個概念屬性進行搜尋，判斷兩者之間是否有交叉或重疊。如果無交叉就可以作出否定的反應。如果有交叉則在第一階段之後轉入第二階段。若謂語的每一個屬性都是主語的屬性，則可確定主語是謂語的一個子集。本例情況即可作出肯定的判斷。如主語不是謂語的一個子集，則要作出否定的反應（如“所有的石頭都是紅寶石”）。對特稱語句來說，在第一階段的加工活動中就可以作出肯定或否定的反應，如“有些石頭是紅寶石”，因兩個概念之間有交叉，即可作出肯定的判斷，如“有些颱風是小麥”，因兩個概念之間無交叉即作出否定判斷。根據謂語交叉模型預測，對特稱語句的判斷快於對全稱語句（無交叉語句除外）的判斷。因前者只需一個階段的判斷，而後者則要經過兩個階段的判斷。在全稱語句中判斷兩個概念是否交叉時，有交叉情況時慢，無交叉時快。據此特點可判斷概念的範疇大小效應。
