+ [ "cnf ( ? ⊢ 𝐍⦃?⦄ )" "cnf_lift" *"cnf_cif" * ]
+ }
+ ]
+ [ { "context-sensitive reduction" * } {
+ [ "lcpr ( ? ⊢ ➡ ? )" "lcpr_aaa" "lcpr_cpr" "lcpr_lcpr" * ]
+ [ "cpr ( ? ⊢ ? ➡ ? )" "cpr_lift" "cpr_ltpss" "cpr_delift" "cpr_ltpr" "cpr_cpr" * ]
+ }
+ ]
+ [ { "context-sensitive reducible forms" * } {
+ [ "crf ( ? ⊢ 𝐑⦃?⦄ )" "crf_append" "cif ( ? ⊢ 𝐈⦃?⦄ )" "cif_append" * ]
+ }
+ ]
+ [ { "focalized reduction" * } {
+ [ "lfpr_alt ( ⦃?⦄ ➡➡ ⦃?⦄ )" * ]
+ [ "fpr ( ⦃?,?⦄ ➡ ⦃?,?⦄ )" * ]