Assertion list
primary key (subgroup of key ) → IsA
Results from Ascent++: 3
primary key → IsA → key 0.84
primary key → IsA → column 0.32
primary key → IsA → a candidate key 0.25