Assertion list
table (aspect of database ) → AtLocation
Results from Ascent++: 3
table → AtLocation → sync 0.33
table → AtLocation → 3nf 0.28
table → AtLocation → private schema 0.25