!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) {
  for (Lisp snippetID : followForwardRelation("ghwqkbpspivlalrb", conceptID))
    print(snippetID);
  null;
}