Assertion list
amphibious assault ship (subgroup of ship ) → HasProperty
Results from Ascent++: 1
amphibious assault ship → HasProperty → underway 0.68