Assertion list
relational database (subgroup of database ) → IsA
Results from Ascent++: 1
relational database → IsA → database 0.63