Assertion list for term "smoke in bar".
Results from Ascent++: 1
smoker → CapableOf → smoke in bar 0.16