Assertion list
guest operating system (subgroup of operating system ) → CapableOf
Results from Ascent++: 3
guest operating system → CapableOf → match the operating system 0.25
guest operating system → CapableOf → use secure protocol 0.25
guest operating system → CapableOf → use the set of cryptographic cr… 0.25