(<=> (Many-To-Many-Relation ?R) (And (Binary-Relation ?R) (Not (Function ?R)) (Not (Function (Inverse ?R)))))