claimWithInverse & possibleInverseOf function to DB.scl