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