Assertion list
experiment (aspect of joule ) → CapableOf

Results from Ascent++: 1
experimentCapableOf prove the speed of light 0.68