Inverse
[[inverse]]
if x and y are inverses, (a -> x -> b) -> [[identity]] -> (b -> y -> a)
So how would we query including an inverse?
So if
[[A]] -> [[Supports]] -> [[B]]
[[C]] -> [[Supported By]] -> [[A]]
[[Supports]] -> [[inverse]] -> [[Supported By]]
then
[[A]] -> [[Supports]] ->
==
[[A]] -> [[Supports]] -> [[identity]] ->
not sure yet how to make inverses “just work” using the existing [[identity]] and the simple inverse definition above…