Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

No usage of net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula