Uses of Class
edu.freiburg.dbis.rdd.fol.FOImplies.ConclusionType