---
N3*
---

An example from Pierre-Antoine Champin expressed in N3*.

The tests are at http://josd.github.io/eye/reasoning/n3*/test
