definition receivable_invoice {
   relation chargeable: receivable_invoice
   relation creditable: receivable_invoice
   permission update = chargeable->charge__write_without_delete + creditable->credit__write_without_delete
   ...
}