Müller, S. The CoreGram Project: Theoretical Linguistics, Theory Development and Verification. JLM 2015, 3, 21–86.