EGivenFCoherent
SampleCountF
CountEF
MaxLexFGivenE
MaxLexEGivenF
IsSingletonF
IsSingletonFE