introduced rules: <term_etc> <pseudo_other>