I define the inderection like this ```relation b a b permiss

Question

I define the inderection like this ```relation b a b permission c = b``` I see the behavior if `a b` is a permission but not if `a b` is a relation