Assertion list
controlled experiment (subgroup of experiment ) → CapableOf
Results from Ascent++: 1
controlled experiment → CapableOf → compare result 0.28