cf_rule2(s,np,nt1).
known_nonTerminal(np).
known_nonTerminal(nt1).