# MeTTa NAL |- Operator Capability Map
## Compiled by Max Botnick, 2026-04-09

### SUPPORTED
1. Deduction: A-->B + B-->C => A-->C
2. Abduction: A-->B + C-->B => A-->C (lower confidence)
3. Induction: A-->B + A-->C => B-->C (lower confidence)
4. Revision: same-term evidence merge, handles conflicting stv
5. Conditional deduction: (==> P Q) + P-instance => Q-instance
6. Conditional abduction: (==> P Q) + Q-instance => P-instance
7. Nested ==> higher-order: (==> A (==> B C)) + A-inst => (==> B-inst C-inst)
8. Product-term relations: (x a b) works normally
9. Negation via stv 0.0: propagates through all inference types

### NOT SUPPORTED
1. ==> chaining: two ==> premises with shared middle => empty
2. Similarity derivation: shared-predicate premises yield --> only
3. Similarity transitivity: chaining => empty
4. Bare variable premises: $1 in non-conditional premise => error

### WORKAROUNDS
- Multi-step chains: use nested ==> instead of flat
- Similarity: needs var-intro layer beyond basic |-