# PositiveEntailmentTest

From RIF

A "Positive Entailment Test" documents a case where a given RIF condition is entailed by a given RIF document. It has an associated dialect *D* and is of the form

- Premise
*R*- Conclusion
*Q*

Where *R* is a RIF document and *Q* is a RIF condition of the dialect *D* such that *R* *entails* *C* in the dialect *D*.