Assertion list
hitch (primary) → HasProperty
Results from Ascent++: 3
hitch → HasProperty → stationary 0.55
hitch → HasProperty → horizontal 0.34
hitch → HasProperty → small 0.25