sclass ParsedPowerWords {
  sclass Equation {
    new LS lhs, rhs;
    bool bothSided;
    
    *() {}
    *(LS *lhs, LS *rhs, bool *bothSided) {}
    
    toString {
      ret joinWithSpacedPlus(lhs) + (bothSided ? " <-> " : " -> ")
        + joinWithSpacedPlus(rhs); 
    }
  }
  
  new L<Equation> equations;
  new LPairS inequalities;
  
  toString {
    ret lines(concatLists(equations, map renderInequality(inequalities)));
  }
}