static bool ai_is(S a, S b) {
  ret ai_hasTriple(a, "is", b);
}