Assertion list
number (aspect of certificate ) → AtLocation
Results from Ascent++: 2
number → AtLocation → multiples of five 5 0.25
number → AtLocation → proportion 0.25