1. precondtions fixed for addition and deletion events. 2. Started updating duplication events.
1. added ontology to reasoning functions.
1. Precondition tests for addition and deletion events complete. 2. Updated band input vectors in addition and deletion tests - successul with one exception Deletion.