Similarly for verb phrases: we may call a verb phrase extensional if there is a function (p from indices to sets such that if is the (compositional) intension of the verb phrase, (j) is any name intension, is,($ and is any index, then truth if (i) is a member of o(i)