Assertion list
false prophet (subgroup of prophet ) → HasProperty
Results from Ascent++: 1
false prophet → HasProperty → false 0.26