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