Corpus for gnaReme/AutoPropp