edu.freiburg.dbis.rdd.fol

Enum FOImplies.ConclusionType