... to a book, if A, then not B, can be notated like A-->/B or ... AB. However, in 7sage, it is maybe notated like A/B ... with the original above, which is not inference can be made like ... all of F is /E, the again there is a some intersection between ...