contextMatchesReturnsFalseWhenAssertionIsNotInferredAndContextDoesNotMatch | 4 ms | Passed |
contextMatchesReturnsTrueWhenAssertionIsInferredAndIncludeInferredIsTrue | 5 ms | Passed |
loadAxiomsByContextsPassesNoContextsToConnectorWhenIncludeInferredIsTrue | 86 ms | Passed |
resolveContextsReturnsAssertionContextsWhenAssertionIsNotInferred | 5 ms | Passed |
resolveContextsReturnsEmptySetWhenAssertionIsInferredAndIncludeInferredIsTrue | 4 ms | Passed |