In this paper, we propose to use Hybrid Logic (HL) as a means to combine frame-based lexical semantics with quantification. We integrate this into an LTAG syntax-semantics interface and show that this architecture allows a fine-grained description of event structures by quantifying for instance over subevents. As a case study we provide an analysis of iteration and progression in combination with for-adverbials. With the HL approach and with standard techniques of underspecification we can account for the behaviour of these adverbials without the assumption of an additional iteration operator on events. This is due to the fact that frame semantics allows to express general constraints on event types that require an event to be an iteration in certain contexts.