Finding
data class Finding(val rule: Rule, val group: Group, val basis: Basis, val crossings: List<Crossing>, val missing: List<String>, val evidence: List<String> = emptyList())(source)
missing lists the attributes the rule reads that the capture or a scanner does not give; evidence lists the non-target attributes a matched clause read.