added methods for adding predicates, objects, actions; fixed some bugs