!752

!include #1004681 // Concepts

sclass UserSignedStatement extends Concept {
  S text;
}

p {
  loadConceptsFrom("#1004859");
  for (UserSignedStatement uss : listConcepts(UserSignedStatement.class)) {
    print(indent("> " , uss.text));
    print();
    if (locallyVerifyUserStatement(uss.text))
      print("VERIFIES!");
    else
      print("DOES NOT VERIFY!");
    print();
  }
}