Assertion list
low bidder (subgroup of bidder ) → CapableOf
Results from Ascent++: 1
low bidder → CapableOf → qualify for the contract 0.68