Type restrictions are stipulative and do not reflect the actual logical structure of predication as ...