correspondenceComputations
Classes 
ComputationSetting
ComputationUtility
PropertyChain
QualifiedRestriction
UnqualifiedRestriction
ValueRestriction