---
N3*
---

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

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