Assertion list
account (aspect of ledger ) → HasProperty

Results from Ascent++: 3
accountHasProperty more evident 0.68
accountHasProperty clear 0.48
accountHasProperty more clear 0.42