用约束满足解析拉丁语诗歌

该内容以《埃涅阿斯纪》开篇诗句为对象，展示用约束满足方法解析拉丁语诗歌。引文从“Arma virumque cano”开始，叙述特洛伊人出走意大利、朱诺的愤怒以及罗马起源相关主题。