Relation SURROUNDED-BY

Arity: 2
Axioms:
(= (Inverse Surrounds) Surrounded-By)