:- expects_dialect(lps).

:- include(example('loanAgreementPostConditionsRTbase.pl')).
% Borrower cures a violation of representation or warrant
observe request(borrower, 1000) at '2014-06-01T10:00'. % request on time at 10:00.
observe advance(lender, 1000) at '2014-06-01T15:00'. % advance on time at 15:00.
observe notify(lender, default(represent_warrant( exceed_assets_liabilities))) at '2014-06-05'.
observe start_exceed_assets_liabilities at '2014-06-06'.
observe notify(borrower, remedy(represent_warrant(exceed_assets_liabilities))) at '2014-06-06'.
observe pay(borrower, lender, 550) at '2015-06-01'. % pay on time.
observe pay(borrower, lender, 525) at '2016-06-01'. % pay on time.