Typo in inference query
Testing for same and different individuals
Adding more typing, also using bnode-based interaction-assertion rule.
Counting interactions (should be 11... are now more)
Using closed world difference check between individuals (owl:differentFrom did not work.. now using a FILTER with an equality check on the URI.) This should be amended!