Improved documentation and provided several toString methods. Also fixed some problems in the validation of the Semantic Framework and the arguments of the constructor.