fact: Definition GoodStringCFGV (sg :StringCFGV) := []= (stMinus (map tpLhs (PatProds sg)) (Patterns sg)) ++ (stMinus (flat_map prhs (PatProds sg)) (PatProdRhs sg)) ++ (stMinus (map tpLhs (Embeddings sg)) (Patterns sg)) ++ (stMinus (flat_map prhs (Embeddings sg)) (TNonTerminals sg)).
imports: CFGV