هستان نگار قضاوت برهان
یکی از هستان نگارهای دامنه ای که در تیم برهان طراحی کرده ایم هستان نگار قضاوت است.
قوانین مدل شده در این هستان نگار به طور کلی به سه دسته تقسیم می شوند:
قوانین مربوط به قبل از دادگاه، قوانین مربوط به دادگاه و قوانین مربوط به پس از دادگاه.