class CommunityHalvesExpr extends CommunitySetExpr {

  @Override
  public boolean matchCommunity(Environment environment, Community community) {
    if (!(community instanceof StandardCommunity)) {
      return false;
    }
    return _left.matches(((StandardCommunity) community).high())
        && _right.matches(((StandardCommunity) community).low());
  }

  public  CommunityHalvesExpr(@Nonnull CommunityHalfExpr left, @Nonnull CommunityHalfExpr right);

}