Assertion: ledger's record | /r/HasProperty | written for leading ledger
Facets:
Source sentences:
text: The system implicitly assumes that records written for Leading Ledger are part of Extension Ledger.