(Slot-Cardinality One-To-Many-Relation Inverse 1) (Slot-Value-Type One-To-Many-Relation Inverse Function) (<=> (One-To-Many-Relation ?R) (And (Binary-Relation ?R) (Value-Type ?R Inverse Function) (Value-Cardinality ?R Inverse 1)))