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