Assertion list for term "one of the vehicles".

Results from Ascent++: 1
cadet HasAone of the vehicles 0.25