边界[#131]

node-id只在本次分析结果中有效，不应保存为外部引用。关系查询在有限事实集合上计算，不是对无限输入的证明。把项目概念（例如孤立页面）表达为关系，不需要Grove预先知道它。