Interface LogicalDependency<M extends ModedAssertion<M>>