Assertion list
high speed train (subgroup of train ) → HasProperty
Results from Ascent++: 2
high speed train → HasProperty → comfortable 0.31
high speed train → HasProperty → expensive 0.31