fix for empty term set
improve tweety example