TEST: sameBagAs testcase

Dan,

Being a test guy (again), let's assume
  eg:Bag rdfs:subClassOf owl:List .
and have entailment rules for eg:sameBagAs
such as the ones we are experimenting with
http://www.agfa.com/w3c/euler/owl-rules.n3

In that case we can, given nothing, entail
  ( :a :a :b ) eg:sameBagAs ( :b :a :a ) .

or in triples
  _:1 owl:first :a .
  _:1 owl:rest _:2 .
  _:2 owl:first :a .
  _:2 owl:rest _:3 .
  _:3 owl:first :b .
  _:3 owl:rest owl:nil .
  _:4 owl:first :b .
  _:4 owl:rest _:5 .
  _:5 owl:first :a .
  _:5 owl:rest _:6 .
  _:6 owl:first :a .
  _:6 owl:rest owl:nil .
  _:1 eg:sameBagAs _:4 .

However I fail to see that
  _:1 owl:sameIndividualAs _:4 .
together with
  _:1 owl:first :a .
  _:4 owl:first :b .
(and)
  owl:first a owl:UniqueProperty .

--
Jos