add Knowledge#toPositiveCoherently