Assertion list
upper bunk (subgroup of bunk ) → HasProperty

Results from Ascent++: 1
upper bunkHasProperty the cheapest 0.68