Slots Of Instances:
(<=> (One-One ?R) (And (Binary-Relation ?R) #'?R (Value-Type ?R Inverse Function) (Value-Cardinality ?R Inverse 1)))