Zero coupon bond ACME Corp has the right to exercise after specified date arrange { actions { acmeCorp.may { "execute".givenThat(after("2018-06-01")) { highStreetBank.owes(acmeCorp, 100.K, GBP) } } } } UNRESTRICTED 92

Zero coupon bond ACME Corp has the right to exercise after specified date arrange { actions { acmeCorp.may { "execute".givenThat(after("2018-06-01")) { highStreetBank.owes(acmeCorp, 100.K, GBP) } } } } UNRESTRICTED 92