nof_1271_1227_1003_Alloy_OpenSpace