Assertion list
large truck (subgroup of truck ) → HasA

Results from Ascent++: 1
large truckHasA blind spots 0.44