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