Entities, relationships, and dynamic logics