Assertion list
hypocrite (primary) → HasProperty
Results from Ascent++: 2
hypocrite → HasProperty → strict 0.22
hypocrite → HasProperty → busy 0.20