Uses of Class
fuzzydl.SatisfiableQuery