база утверждений

Assertional database