Assertion list
truck (aspect of driver ) → AtLocation
Results from Ascent++: 5
truck → AtLocation → right lane 0.53
truck → AtLocation → transit 0.35
truck → AtLocation → the shop 0.26
truck → AtLocation → terminal 0.25
truck → AtLocation → violation 0.16