Assertion list
service (aspect of battalion ) → HasProperty
Results from Ascent++: 3
service → HasProperty → short 0.29
service → HasProperty → difficult 0.25
service → HasProperty → arduous 0.16