svoid test_RecursiveProbabilisticParser1() {
  new RecursiveProbabilisticParser1 p;
  p.loadRules("<thing> has a <thing> => <sentence> => has($1, $2)");
  assertEqualsVerbose(ll([[has("the farmer", "a pig")]],
    p.parse("the farmer has a pig"));
}