Class SimpleLogicalDependency<T extends ModedAssertion<T>>