( ! [V__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
(((s__instance(V__Period,s__TimeInterval) &
s__instance(V__Total,s__Number) &
s__instance(V__Total,s__CurrencyMeasure) &
s__instance(V__BondHolder,s__Agent) &
s__instance(V__Date,s__Day) &
s__instance(V__Interest,s__Interest) &
s__instance(V__Interest,s__Number) &
s__instance(V__Principal,s__Number) &
s__instance(V__Principal,s__CurrencyMeasure))
=>
(((s__instance(V__Bond,s__ZeroCouponBond) &
s__maturityDate(s__AccountFn(V__Bond)
,V__Date)
&
s__possesses(V__BondHolder,V__Bond)
&
s__principalAmount(s__AccountFn(V__Bond)
,V__Principal)
&
s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))))))
)
)

FinancialOntology.kif 22822296 
