Assertion list
padlock (primary) → IsA
Results from Ascent++: 3
padlock → IsA → removable locks 0.57
padlock → IsA → external locks 0.47
padlock → IsA → portable lock 0.38