Assertion list
enemy (aspect of batman ) → HasProperty
Results from Ascent++: 2
enemy → HasProperty → dangerous 0.25
enemy → HasProperty → visible 0.25