| smart:SmartWeatherStation(WS1) |
| ∧ smart:hasRain3h:(WS1, ?rainfall) |
| ∧ swrlb:greaterThan(?rainfall, 2) |
| ⇒ smart:keepClosedState(VALVE1) |
| smart:SmartWeatherStation(WS1) |
| ∧ smart:hasRain3h:(WS1, ?rainfall) |
| ∧ swrlb:greaterThan(?rainfall, 2) |
| ⇒ smart:keepClosedState(VALVE1) |