static ParsedPowerWords ai_parsePowerWordsText(S text) {
  new ParsedPowerWords out;
  for (S s : tlftj(text)) {
    LS tok = javaTok(s);
    int i = jfind(tok, "<->");
    if (i >= 0)
      continue with out.equations.add(new ParsedPowerWords.Equation(
        tok_splitAtPlus(trimJoinSubList(tok, 0, i)),
        tok_splitAtPlus(trimJoinSubList(tok, i+5)), false));
        
    i = jfind(tok, "->");
    if (i >= 0)
      continue with out.equations.add(new ParsedPowerWords.Equation(
        tok_splitAtPlus(trimJoinSubList(tok, 0, i)),
        tok_splitAtPlus(trimJoinSubList(tok, i+3)), true));
    
    i = jfind(tok, "!=");
    if (i >= 0)
      continue with out.inequalities.add(pair(
        trimJoinSubList(tok, 0, i),
        trimJoinSubList(tok, i+3)));
  }
  ret out;
}