 :- :as(X,Y), :as(Y,X)
:as(X,Y) :- :r(X,Y)
:as(:b,:a)
:r(:a,:b)