Open
Description
Ensure that the probabilities in a SCFG are proper and consistent as defined in Booth and Thompson (1973), and that the grammar contains no useless nonterminals (ones that can never appear in a derivation).
check that no rules are doubled with different probabilities (in which case we either have undefined dehaviour or conflate the rules?)