}
]
[ { "context-free reduction" * } {
- [ "ltpr ( ? ➡ ? )" "ltpr_ldrop" "ltpr_tps" * ]
+ [ "ltpr ( ? ➡ ? )" "ltpr_ldrop" "ltpr_tps" "ltpr_aaa" * ]
[ "tpr ( ? ➡ ? )" "tpr_lift" "tpr_tpss" "tpr_tpr" * ]
}
]
}
]
[ { "atomic arity assignment" * } {
- [ "aaa ( ? ⊢ ? ÷ ? )" "aaa_lift" "aaa_lifts" "aaa_aaa" * ]
+ [ "aaa ( ? ⊢ ? ÷ ? )" "aaa_lift" "aaa_ltps" "aaa_lifts" "aaa_ltpss" "aaa_aaa" * ]
}
]
[ { "parameters" * } {