contextMatchesReturnsFalseWhenAssertionIsNotInferredAndContextDoesNotMatch | 3 ms | Passed |
contextMatchesReturnsTrueWhenAssertionIsInferredAndIncludeInferredIsTrue | 3 ms | Passed |
loadAxiomsByContextsPassesNoContextsToConnectorWhenIncludeInferredIsTrue | 67 ms | Passed |
resolveContextsReturnsAssertionContextsWhenAssertionIsNotInferred | 4 ms | Passed |
resolveContextsReturnsEmptySetWhenAssertionIsInferredAndIncludeInferredIsTrue | 4 ms | Passed |