sopel<9,>=7.1
tweety-ns<0.10,>=0.9.9.5
