Paths in Terms

{A, {N}_ltk(A,S)}_ltk(B,S)

• enc
  • cat
    • A
    • enc
      • N
      • ltk
        • A
        • S
  • ltk
    • B
    • S