contextMatchesReturnsFalseWhenAssertionIsNotInferredAndContextDoesNotMatch | 1 ms | Passed |
contextMatchesReturnsTrueWhenAssertionIsInferredAndIncludeInferredIsTrue | 2 ms | Passed |
loadAxiomsByContextsPassesNoContextsToConnectorWhenIncludeInferredIsTrue | 7 ms | Passed |
resolveContextsReturnsAssertionContextsWhenAssertionIsNotInferred | 2 ms | Passed |
resolveContextsReturnsEmptySetWhenAssertionIsInferredAndIncludeInferredIsTrue | 1 ms | Passed |