Warning:
This wiki has been archived and is now read-only.
EntailEverything
From RIF
(Redirected from EntailEverything 1)
| Test Type | PositiveEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Gary Hallmark | ||||
| Status | Approved | ||||
| Record | F2F13 | ||||
| Dialect | BLD | ||||
| Purpose | Test that arbitrary Consts are entailed | ||||
| Description | |||||
| SeeAlso | |||||
| SpecRef | |||||
| Premises |
|
||||
| Conclusion |
|