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

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

LitAssn  a, [  a  b  c  d ]

LitAssn  fóo, [  á  þ  ç  đ ]