Finding

constructor(rule: Rule, group: Group, basis: Basis, crossings: List<Crossing>, missing: List<String>, evidence: List<String> = emptyList())(source)