Assertion list for term "emit half the co2".

Results from Ascent++: 1
bus CapableOfemit half the co2 0.34