Querying the reactive system