Assertion list
ledger (primary) → IsA
Results from Ascent++: 3
ledger → IsA → book 0.65
ledger → IsA → record 0.37
ledger → IsA → running record of crypto-curren… 0.25