contextMatchesReturnsFalseWhenAssertionIsNotInferredAndContextDoesNotMatch | 2 ms | Passed |
contextMatchesReturnsTrueWhenAssertionIsInferredAndIncludeInferredIsTrue | 3 ms | Passed |
loadAxiomsByContextsPassesNoContextsToConnectorWhenIncludeInferredIsTrue | 85 ms | Passed |
resolveContextsReturnsAssertionContextsWhenAssertionIsNotInferred | 3 ms | Passed |
resolveContextsReturnsEmptySetWhenAssertionIsInferredAndIncludeInferredIsTrue | 3 ms | Passed |