Assertion list for term "measured by first temperature sensor".
Results from Ascent++: 1
temperature → ReceivesAction → measured by first temperature sensor 0.37