Assertion list
mainframe computer (subgroup of computer ) → HasProperty
Results from Ascent++: 2
mainframe computer → HasProperty → expensive 0.68
mainframe computer → HasProperty → large 0.25