Assertion list
steakhouse (primary) → HasProperty
Results from Ascent++: 2
steakhouse → HasProperty → open 0.44
steakhouse → HasProperty → expensive 0.16