Function keplerFilterToHonuaClause