test021-out.nt

来自「这是外国一个开源推理机」· NT 代码 · 共 6 行

<http://www.example.org/grandparent1> <http://www.example.org/parentOf> _:parent1.
_:parent1 <http://www.example.org/parentOf> <http://www.example.org/child1>.

<http://www.example.org/grandparent2> <http://www.example.org/parentOf> _:parent2.
_:parent2 <http://www.example.org/parentOf> <http://www.example.org/child2>.