// Learning

[
  if  [User < says < X < is < Y]
  memorize [User < said < X < is < Y]
  say [
        [ok < X < is < a < Y]
        [i < will < remember < that]
      ]
]

// Querying

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

// Verifying

[
  if  [User < says < X < is < Y]
  and [* < said < X < is < Y]
  say [yes < i < know]
]

// Adding another one

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