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