 To generalize on the relationship indicated in (5), beyond just what Smith says about birds to anything she might say, what we want to do is generalize on the embedded occurrences of ‘birds are dinosaurs’. So, we need a (declarative) sentential variable, ‘\(p\)’, and a universal quantifier governing it. What we want is a way of capturing something along the lines of