Assertion list
life (aspect of batman ) → HasProperty
Results from Ascent++: 6
life → HasProperty → difficult 0.41
life → HasProperty → short 0.40
life → HasProperty → meaningless 0.33
life → HasProperty → strange 0.33
life → HasProperty → good 0.25
life → HasProperty → perfect 0.25