Frage im Vorstellungsgespräch bei Alloy

One medium difficulty HackerRank question