Interface BeliefSystem<M extends ModedAssertion<M>>