This package contains implementations of classes that implement the constraints of individual logics. In particular the language restrictions are checked in these classes.