[ "ldrops ( ⇩*[?] ? ≡ ? )" "ldrops_ldrops" * ]
}
]
- [ { "generic relocation" * } {
- [ "lifts ( ⇧*[?] ? ≡ ? )" "lifts_lifts" "lifts_vector" * ]
+ [ { "generic term relocation" * } {
+ [ "lifts ( ⇧*[?] ? ≡ ? )" "lifts_lifts" "lifts_vector ( ⇧*[?] ? ≡ ? )" "lifts_lifts_vector" * ]
}
]
}
}
]
[ { "term relocation" * } {
- [ "lift ( ⇧[?,?] ? ≡ ? )" "lift_lift" "lift_vector" * ]
+ [ "lift ( ⇧[?,?] ? ≡ ? )" "lift_lift" "lift_vector ( ⇧[?,?] ? ≡ ? )" "lift_lift_vector" * ]
}
]
}