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…