Assertion list for term "lined by full guarantee".
Results from Ascent++: 1
part (aspect of car) → ReceivesAction → lined by full guarantee 0.25