DeSTIN Predicates atomspace memory consumption