Assertion list
garbage truck (subgroup of truck ) → HasProperty
Results from Ascent++: 2
garbage truck → HasProperty → heavy 0.77
garbage truck → HasProperty → busy 0.68