!7 sS concepts = [[ ["kboqghewjbfsjstm", "Test for integerness"], ["qbtsoibiwlvsfuul", "A JavaX standard function"], ["ypnmpoezxeomgaof", "isInteger", "the JavaX function"], ["cukovmzoaabrjkad", "isQuoted", "the JavaX function"], ["ghwqkbpspivlalrb", "X is the JavaX standard function called Y."], ]]; sS statements = [[ ghwqkbpspivlalrb ypnmpoezxeomgaof "isInteger" ghwqkbpspivlalrb cukovmzoaabrjkad "isQuoted" ]]; p { set loadFunctions_debug; useFacts_cl(statements); assertEqualsVerbose(true, conceptCall("ypnmpoezxeomgaof", "123")); assertEqualsVerbose(false, conceptCall("ypnmpoezxeomgaof", "abc")); assertEqualsVerbose(true, conceptCall("cukovmzoaabrjkad", quote("123"))); assertEqualsVerbose(false, conceptCall("cukovmzoaabrjkad", "abc")); print("OK"); }