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