Fixed up corpora files to comply with Alloy 4