// start

if       [User < says < consider < this < string < S]
forget   [current < string < is < *]
memorize [current < string < is < S]
assume   [[the > length < of < string < S] < is < L < characters]
say      [[ok] [it has < L < characters]]

//

if       [User < says < how < long < is < it]
and      [current < string < is < S]
assume   [[the > length < of < string < S] < is < L < characters]
say      [[the > string] < has < L < characters]

//

if       [User < says < show < string]
and      [current < string < is < S]
say      [here < it < is < : < S]