!7

sclass Logic {
  new L<S> assumptions;
  new L<Lisp> parsedAssumptions;
  
  void assume(S s) {
    assumptions.add(s);
    parsedAssumptions.add(parse(s));
  }
  
  void verifyCalculator(S concept, O calc) {}
}
  
static Lisp parse(S s) {
  L<S> tok = tok_roundBracketsToQuoted(s);
  printStructure(tok);
  ret lisp("yo");
}

p {
  new Logic l;
  l.assume("iwuamaiejhsykake (vjyukwvgqzhfcxme HELLO) 1");
  l.assume("iwuamaiejhsykake (vjyukwvgqzhfcxme HELLO, vjyukwvgqzhfcxme WORLD) 2");
  l.verifyCalculator("iwuamaiejhsykake", func(S s) { l(tokSplitAtComma(s)) });
}