{term|value|spine|spine-l}-∧⁺-context done