N3 semantics new-new proposal

Hi all,

I have a new proposal (now in a more readable format).

https://pad.lamyne.org/xZF7gcnxTLSNKdueLBYv2A


Note that I haven't checked it in depth yet. And that I haven't found a 
satisfying way to model the semantics of log:notIncludes yet :-/

   best