Assertion list
network (aspect of mobile ) → HasProperty
Results from Ascent++: 1
network → HasProperty → vulnerable 0.21