!7

sclass LogicAgent {
  Collection<AIConcept> concepts;  // input
  new LinkedHashSet<S> statements; // output

  void impl {
    for (AIConcept c : concepts)
      if ("Is <int> an integer?")
        emit("qnaeuvrncafakobl " + c.globalID); // yes
  }
  
  void emit(S s) {
    if (statements.add(s))
      print("> " + s);
  }
  
  void runLive(bool doIt) {
    concepts = aiConcepts();
    statements.clear();
    impl();
    if (doIt)
      addTruth(statements);
  }
}

p {
  new LogicAgent().runLive(true);
}