some rendering of Judgement term
Array content provider that supports Scala collections
some rendering of Assumption term