Assn x Chc(
  Cat(
    Num(5)
  )
)

Assn y Chc(
  Cat(
    Lit(Atom(This))
  )
)

LitAssn(a, [  a  b  c  d ]

LitAssn(fóo, [  á  þ  ç  đ ]