// Learning

[
  if  [User < says < C < is < a < Language]
  and [i < don't < know < C]
  memorize [User < said < C < is < a < Language]
  say [
        [ok < C < is < a < Language]
        [i < will < remember < that]
      ]
]

// Querying

[
  if  [User < says < what < is < X]
  and [* < said < X < is < a < Language]
  say [X < is < a < Language]
]

[
  if  [User < says < is < C < a < Language]
  and [* < said < C < is < a < Language]
  say [yes]
]

[ // fallback
  if  [User < says < is < C < a < Language]
  say [i < don't < know]
]

// Verifying

[
  if  [User < says < C < is < a < A]
  and [* < said < C < is < a < A]
  say [yes < i < know]
]

// Adding another one

[
  if  [User < says < C < is < a < B]
  and [* < said < C < is < a < A]
  memorize [User < said < C < is < a < B]
  say [
        [oh < i < thought < C < was < a < A]
        [i < will < remember < that < it [= C] < is < also < a < B]
      ]
]

Began life as a copy of #1002732