Assertion list
matador (primary) → HasA
Results from Ascent++: 2
matador → HasA → ten minutes 0.25
matador → HasA → two drilling rigs 0.25