Declarative process discovery is the art of using historical data to better understand the responsibilities of an organisation: its governing business rules and goals. These rules and goals can be described using declarative process notations, such as Dynamic Condition Response (DCR) Graphs, which has seen widespread industrial adoption within Denmark, in particular through its integration in a case management solution used by 70% of central government institutions. In this paper, we introduce ParNek: a novel, effective, and extensible miner for the discovery of DCR Graphs. We empirically evaluate ParNek and show that it significantly outperforms the state-of-the-art in DCR discovery and performs at least comparably to the state-of-the-art in Declare discovery. Notably, the miner can be configured to sacrifice relatively little precision in favour of significant gains in simplicity, making it the first miner able to produce understandable DCR Graphs for real-life logs.