Assertion list
distributed database (subgroup of database ) → IsA
Results from Ascent++: 1
distributed database → IsA → single logical database 0.25