Pretty poorly, it doesn't have much of an understanding of Alloy at all. I've gotten similar failures when I tried. I think "x vs y" is an example of something that's hard to verify, which makes it a bad choice for chatgpt