>>815
つまり>>761の仕様に対してAlloyを用いても特に意味はないと。