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