[ "cprs (? ⊢ ? ➡* ?)" * ]
}
]
+ [ { "local env. ref. for abstract candidates of reducibility" * } {
+ [ "lsubc ( ? [?] ⊑ ? )" "lsubc_ldrop" "lsubc_ldrops" "lsubc_lsuba" * ]
+ }
+ ]
[ { "support for abstract computation properties" * } {
- [ "lsubc ( ? [?] ⊑ ? )" "lsubc_ldrop" "lsubc_ldrops" * ]
[ "acp" "acp_cr ( ⦃?,?⦄ ϵ 〚?〛 )" "acp_aaa" * ]
}
]
]
class "grass"
[ { "static typing" * } {
- [ { "static type ass." * } {
+ [ { "static type assignment" * } {
[ "sty" "sty_lift" "sty_sty" * ]
}
]
- [ { "atomic arity ass." * } {
+ [ { "local env. ref. for atomic arity assignment" * } {
+ [ "lsuba ( ? ÷⊑ ? )" * ]
+ }
+ ]
+ [ { "atomic arity assignment" * } {
[ "aaa ( ? ⊢ ? ÷ ? )" "aaa_lift" "aaa_aaa" * ]
}
]
}
]
[ { "generic local env. slicing" * } {
- [ "ldrops ( ⇩*[?] ? ≡ ? )" "ldrops_ldrops" * ]
+ [ "ldrops ( ⇩*[?] ? ≡ ? )" "ldrops_ldrop" "ldrops_ldrops" * ]
+ }
+ ]
+ [ { "generic term relocation" * } {
+ [ "lifts_vector ( ⇧*[?] ? ≡ ? )" "lifts_lift_vector" * ]
+ [ "lifts ( ⇧*[?] ? ≡ ? )" "lifts_lift" "lifts_lifts" * ]
}
]
- [ { "generic term relocation" * } {
- [ "lifts ( ⇧*[?] ? ≡ ? )" "lifts_lifts" "lifts_vector ( ⇧*[?] ? ≡ ? )" "lifts_lifts_vector" * ]
+ [ { "support for generic relocation" * } {
+ [ "gr2" "gr2_gr2" * ]
}
]
}
[ "gdrop ( ⇩[?] ? ≡ ? )" "gdrop_gdrop" * ]
}
]
- [ { "local env. slicing" * } {
+ [ { "basic local env. slicing" * } {
[ "ldrop ( ⇩[?,?] ? ≡ ? )" "ldrop_ldrop" * ]
}
]
- [ { "term relocation" * } {
- [ "lift ( ⇧[?,?] ? ≡ ? )" "lift_lift" "lift_vector ( ⇧[?,?] ? ≡ ? )" "lift_lift_vector" * ]
+ [ { "basic term relocation" * } {
+ [ "lift_vector ( ⇧[?,?] ? ≡ ? )" "lift_lift_vector" * ]
+ [ "lift ( ⇧[?,?] ? ≡ ? )" "lift_lift" * ]
}
]
}