Querying Shapes of Histories