<?xml version="1.0" encoding="utf-8"?>

ard_att(Thermostat)
ard_att(Time)
ard_att(Temperature)
ard_att(Date)
ard_att(Hour)
ard_att(season)
ard_att(operation)
ard_att(thermostat_settings)
ard_att(day)
ard_att(month)
ard_att(today)
ard_att(hour)

ard_property([Thermostat])
ard_property([Time, Temperature])
ard_property([Time])
ard_property([Temperature])
ard_property([Date, Hour, season, operation])
ard_property([Date, Hour])
ard_property([season, operation])
ard_property([thermostat_settings])
ard_property([season])
ard_property([operation])
ard_property([Date])
ard_property([Hour])
ard_property([day, month, today])
ard_property([month])
ard_property([day, today])
ard_property([day])
ard_property([today])
ard_property([hour])

ard_hist([Thermostat], [Time, Temperature])
ard_hist([Time, Temperature], [Time])
ard_hist([Time, Temperature], [Temperature])
ard_hist([Time], [Date, Hour, season, operation])
ard_hist([Date, Hour, season, operation], [Date, Hour])
ard_hist([Date, Hour, season, operation], [season, operation])
ard_hist([Temperature], [thermostat_settings])
ard_hist([season, operation], [season])
ard_hist([season, operation], [operation])
ard_hist([Date, Hour], [Date])
ard_hist([Date, Hour], [Hour])
ard_hist([Date], [day, month, today])
ard_hist([day, month, today], [month])
ard_hist([day, month, today], [day, today])
ard_hist([day, today], [day])
ard_hist([day, today], [today])
ard_hist([Hour], [hour])

ard_depend([season], [thermostat_settings])
ard_depend([operation], [thermostat_settings])
ard_depend([month], [season])
ard_depend([day], [today])
ard_depend([today], [operation])
ard_depend([hour], [operation])