static void ai_spec_doYouThink(S s) {
  new Matches m;
  if (learnedFlexMatch("do you think *", s, m)
    || learnedFlexMatch("Is it true that *", s, m))
    ai_postTriple(s, "asks about fact:", dropPunctuationAtEnd(m.rest()));
}