Assertion list for term "covered in the contract".
Results from Ascent++: 1
part (aspect of car) → ReceivesAction → covered in the contract 0.16