Assertion list
relational database (subgroup of database ) → AtLocation
Results from Ascent++: 1
relational database → AtLocation → data storage device 0.25