[Lava 005] clause rule judge horizontal