Assertion list for term "detected by the sensor st".
Results from Ascent++: 1
temperature (aspect of thermostat) → ReceivesAction → detected by the sensor st 0.28