convert flies predicates to Bird objects directly in tweety example