ru.ispras.fortress.logic

Class Clause