Assertion list
chock (primary) → CapableOf
Results from Ascent++: 1
chock → CapableOf → use the weight of the truck 0.25