static ParsedPowerWords ai_parsePowerWordsText(LS lines) {
  new ParsedPowerWords out;
  fOr (S s : lines)
    ai_parsePowerWordsText_line(s, out);
  ret out;
}

static ParsedPowerWords ai_parsePowerWordsText(S text) {
  new ParsedPowerWords out;
  for (S s : tlftj(text))
    ai_parsePowerWordsText_line(s, out);
  ret out;
}

svoid ai_parsePowerWordsText_line(S line, ParsedPowerWords out) {
  LS tok = javaTok(line);
  int i = jfind(tok, "<->");
  if (i >= 0)
    ret with out.equations.add(new ParsedPowerWords.Equation(
      trimJoinSubList(tok, 0, i),
      trimJoinSubList(tok, i+5), true));
      
  i = jfind(tok, "->");
  if (i >= 0)
    ret with out.equations.add(new ParsedPowerWords.Equation(
      trimJoinSubList(tok, 0, i),
      trimJoinSubList(tok, i+3), false));
  
  i = jfind(tok, "!=");
  if (i >= 0)
    ret with out.inequalities.add(pair(
      trimJoinSubList(tok, 0, i),
      trimJoinSubList(tok, i+3)));
}