COMMITMENT INDIVIDUALS
 [ObjectPropertyAssertion(hasCondition c1 tpDeliverBook1), ObjectPropertyAssertion(hasContent c1 tpPayBook1), ObjectPropertyAssertion(hasCreditor c1 bob)]
 [ObjectPropertyAssertion(hasCreditor c2 anna), ObjectPropertyAssertion(hasCondition c2 tpTrue), ObjectPropertyAssertion(hasContent c2 tpDeliverBook1)]
 [ObjectPropertyAssertion(hasContent c2Neg tpNotDeliverBook1), ObjectPropertyAssertion(hasCondition c2Neg tpTrue)]
 [ObjectPropertyAssertion(hasContent c3 tpNotDeliverCd1), ObjectPropertyAssertion(hasCondition c3 tpTrue), ObjectPropertyAssertion(hasCreditor c3 anna)]
TPPOS INDIVIDUALS
 [DataPropertyAssertion(hasStart tpDeliverBook1 "1"^^integer), DataPropertyAssertion(hasEnd tpDeliverBook1 "2"^^integer)]
 [ObjectPropertyAssertion(hasAction tpDeliverBook1 deliverBook1)]
 [DataPropertyAssertion(hasEnd tpPayBook1 "3"^^integer), DataPropertyAssertion(hasStart tpPayBook1 "1"^^integer)]
 [ObjectPropertyAssertion(hasAction tpPayBook1 payBook1)]
TPNEG INDIVIDUALS
 [DataPropertyAssertion(hasStart tpNotDeliverBook1 "1"^^integer), DataPropertyAssertion(hasEnd tpNotDeliverBook1 "2"^^integer)]
 [ObjectPropertyAssertion(hasAction tpNotDeliverBook1 deliverBook1)]
 [DataPropertyAssertion(hasEnd tpNotDeliverCd1 "3"^^integer), DataPropertyAssertion(hasStart tpNotDeliverCd1 "0"^^integer)]
 [ObjectPropertyAssertion(hasAction tpNotDeliverCd1 deliverCD1)]
HISTORY OF THE SYSTEM
 [DataPropertyAssertion(happensAt deliverBook1 "1"^^integer)]
 []
 []
-------------------------------------------------------------------
[EquivalentClasses(KisTrue ObjectOneOf(tpTrue) )]
[EquivalentClasses(KisFalse Nothing )]
START THE SIMULATION
---------------------------------------------------------------
System time = 0
Data Property Axioms of elapse: [DataPropertyAssertion(happensAt elapse "0"^^integer)]
Instances of IsPending: 
 c2
 c2Neg
 c3
Instances of IsFulfilled: 
Instances of IsViolated: 
Instances of IsTrue: 
 tpTrue
Instances of IsFalse: 
 [EquivalentClasses(KisTrue ObjectOneOf(tpTrue) )]
 [EquivalentClasses(KisFalse ObjectOneOf() )]
---------------------------------------------------------------
System time = 1
Data Property Axioms of elapse: [DataPropertyAssertion(happensAt elapse "0"^^integer), DataPropertyAssertion(happensAt elapse "1"^^integer)]
Instances of IsPending: 
 c2
 c1
 c3
Instances of IsFulfilled: 
 c2
Instances of IsViolated: 
 c2Neg
Instances of IsTrue: 
 tpTrue
 tpDeliverBook1
Instances of IsFalse: 
 tpNotDeliverBook1
 [EquivalentClasses(KisTrue ObjectOneOf(tpDeliverBook1 tpTrue) )]
 [EquivalentClasses(KisFalse ObjectOneOf(tpNotDeliverBook1) )]
---------------------------------------------------------------
System time = 2
Data Property Axioms of elapse: [DataPropertyAssertion(happensAt elapse "0"^^integer), DataPropertyAssertion(happensAt elapse "1"^^integer), DataPropertyAssertion(happensAt elapse "2"^^integer)]
Instances of IsPending: 
 c1
 c3
Instances of IsFulfilled: 
 c2
Instances of IsViolated: 
 c2Neg
Instances of IsTrue: 
 tpTrue
 tpDeliverBook1
Instances of IsFalse: 
 tpNotDeliverBook1
 [EquivalentClasses(KisTrue ObjectOneOf(tpDeliverBook1 tpTrue) )]
 [EquivalentClasses(KisFalse ObjectOneOf(tpNotDeliverBook1) )]
---------------------------------------------------------------
System time = 3
Data Property Axioms of elapse: [DataPropertyAssertion(happensAt elapse "0"^^integer), DataPropertyAssertion(happensAt elapse "1"^^integer), DataPropertyAssertion(happensAt elapse "2"^^integer), DataPropertyAssertion(happensAt elapse "3"^^integer)]
Instances of IsPending: 
 c1
 c3
Instances of IsFulfilled: 
 c2
 c3
Instances of IsViolated: 
 c1
 c2Neg
Instances of IsTrue: 
 tpNotDeliverCd1
 tpTrue
 tpDeliverBook1
Instances of IsFalse: 
 tpPayBook1
 tpNotDeliverBook1
 [EquivalentClasses(KisTrue ObjectOneOf(tpDeliverBook1 tpNotDeliverCd1 tpTrue) )]
 [EquivalentClasses(KisFalse ObjectOneOf(tpNotDeliverBook1 tpPayBook1) )]
---------------------------------------------------------------
System time = 4
Data Property Axioms of elapse: [DataPropertyAssertion(happensAt elapse "0"^^integer), DataPropertyAssertion(happensAt elapse "1"^^integer), DataPropertyAssertion(happensAt elapse "2"^^integer), DataPropertyAssertion(happensAt elapse "3"^^integer), DataPropertyAssertion(happensAt elapse "4"^^integer)]
Instances of IsPending: 
Instances of IsFulfilled: 
 c2
 c3
Instances of IsViolated: 
 c1
 c2Neg
Instances of IsTrue: 
 tpNotDeliverCd1
 tpTrue
 tpDeliverBook1
Instances of IsFalse: 
 tpPayBook1
 tpNotDeliverBook1
 [EquivalentClasses(KisTrue ObjectOneOf(tpDeliverBook1 tpNotDeliverCd1 tpTrue) )]
 [EquivalentClasses(KisFalse ObjectOneOf(tpNotDeliverBook1 tpPayBook1) )]