| contextMatchesReturnsFalseWhenAssertionIsNotInferredAndContextDoesNotMatch | 0 ms | Passed |
| contextMatchesReturnsTrueWhenAssertionIsInferredAndIncludeInferredIsTrue | 0 ms | Passed |
| loadAxiomsByContextsPassesNoContextsToConnectorWhenIncludeInferredIsTrue | 6 ms | Passed |
| resolveContextsReturnsAssertionContextsWhenAssertionIsNotInferred | 0 ms | Passed |
| resolveContextsReturnsEmptySetWhenAssertionIsInferredAndIncludeInferredIsTrue | 0 ms | Passed |