de.dfleischhacker.uni.thesis.semantic
Interfaces 
SemanticFactory
SemanticModule
Classes 
ClosureResult
SemanticManager
Exceptions 
EntailmentCheckException
UnsupportedCorrespondenceException