如何配置Alloy 6可视化工具以展示事件风格模型

我正在研读相关书籍并实践Alloy 6示例，在6.2.4节“基于事件的变体”中，移除NoIntervening事实后会生成反例，但即便缩小范围也难以理解结果。跟踪风格的时间投影可视化十分清晰，然而事件风格模型的可视化效果与书中差异极大，时间和事件投影均因无关事件或时间显得杂乱无章。

我已将示例移植到Alloy 6，原可视化效果如下：

请问是否有合适的方法调整可视化工具以展示事件风格模型？特别是如何在时间投影中仅显示相关事件？

编辑补充
应用采纳方案后的界面截图：

内容的提问来源于stack exchange，提问作者CheatEx