Assertion list
large truck (subgroup of truck ) → IsA
Results from Ascent++: 1
large truck → IsA → common sight 0.25