Total amount for payment MUST be equal to the tax inclusive amount minus the prepaid amount.
cac:LegalMonetaryTotal
not(cbc:PayableAmount) or $payableAmount = u:twodec($taxInclusiveAmount) - u:twodec($prepaidAmount)