!7

sS concepts = [[
  ["kboqghewjbfsjstm", "Test for integerness"],
  ["qbtsoibiwlvsfuul", "A JavaX standard function"],
  ["ypnmpoezxeomgaof", "isInteger", "the JavaX function"],
  ["ghwqkbpspivlalrb", "X is the JavaX standard function called Y."],
]];

sS statements = [[
  ghwqkbpspivlalrb ypnmpoezxeomgaof "isInteger"
]];

p {
  useFacts_cl(statements);
  assertEqualsVerbose(true, conceptCall("ypnmpoezxeomgaof", "123"));
  assertEqualsVerbose(false, conceptCall("ypnmpoezxeomgaof", "abc"));
  print("OK");
}

static O conceptCall(S conceptID, O... args) {
  S funcName = first(followForwardRelation_raw("ghwqkbpspivlalrb", conceptID));
  if (funcName == null) fail("Don't know how to call " + conceptID);
  ret makeAndCall_cached(funcName, args);
}