Assertion list
large truck (subgroup of truck ) → HasProperty
Results from Ascent++: 3
large truck → HasProperty → heavy 0.38
large truck → HasProperty → dangerous 0.32
large truck → HasProperty → essential 0.16