!752

p {
  Lisp tree = nlParse("theory yes");
  new HashMap matches;
  if (nlMatch("theory $t", tree, matches))
    printStructure(matches);
  else
    print("nope");
}