:-recorda(commcs,[true,r,c,[[[readics,true]],[[commcs,true]]]],REF).


:-recorda(prreadi,[true,r,c,[[[prreadia,true]],[[prreadi,true]]]],REF).

:-recorda(prreadi,[true,r,c,[[[prreadib,true]],[[prreadi,true]]]],REF).

:-recorda(prreadi,[true,r,c,[[[prreadic,true]],[[prreadi,true]]]],REF).

:-recorda(readics,[true,r,c,[[[prreadia,true],[readia,true],[csreadiaa,true]],[[readics,true]]]],REF).

:-recorda(readics,[true,r,c,[[[prreadia,true],[readib,true],[csreadiab,true]],[[readics,true]]]],REF).

:-recorda(readics,[true,r,c,[[[prreadib,true],[readia,true],[csreadiba,true]],[[readics,true]]]],REF).

:-recorda(readics,[true,r,c,[[[prreadib,true],[readib,true],[csreadibb,true]],[[readics,true]]]],REF).

:-recorda(readics,[true,r,c,[[[prreadib,true],[readic,true],[csreadibc,true]],[[readics,true]]]],REF).

:-recorda(readics,[true,r,c,[[[prreadic,true],[readib,true],[csreadicb,true]],[[readics,true]]]],REF).

:-recorda(readics,[true,r,c,[[[prreadic,true],[readic,true],[csreadicc,true]],[[readics,true]]]],REF).


:-recorda(csreadiaa,[true,r,c,[[[signalclass,false]],[[csreadiaa,true],[csreadiab,false],[csreadiba,false],[csreadibb,false],[csreadibc,false],[csreadicb,false],[csreadicc,false]]]],REF).

:-recorda(csreadiaa,[true,r,c,[[[startonwork,true]],[[csreadiaa,true],[csreadiab,false],[csreadiba,false],[csreadibb,false],[csreadibc,false],[csreadicb,false],[csreadicc,false]]]],REF).

:-recorda(csreadiba,[true,r,c,[[[approcuingtoattend,true]],[[csreadiba,true],[csreadiaa,false],[csreadiab,false],[csreadibb,false],[csreadibc,false],[csreadicb,false],[csreadicc,false]]]],REF).

:-recorda(csreadiba,[true,r,c,[[[startonwork,true]],[[csreadiba,true],[csreadiaa,false],[csreadiab,false],[csreadibb,false],[csreadibc,false],[csreadicb,false],[csreadicc,false]]]],REF).

:-recorda(csreadibb,[true,r,c,[[[approcuingtoattend,false]],[[csreadibb,true],[csreadiaa,false],[csreadiba,false],[csreadiab,false],[csreadibc,false],[csreadicb,false],[csreadicc,false]]]],REF).

:-recorda(csreadibb,[true,r,c,[[[startonwork,false]],[[csreadibb,true],[csreadiaa,false],[csreadiba,false],[csreadiab,false],[csreadibc,false],[csreadicb,false],[csreadicc,false]]]],REF).

:-recorda(csreadibc,[true,r,c,[[[approcuingtoattend,false]],[[csreadibc,true],[csreadiaa,false],[csreadiab,false],[csreadiba,false],[csreadibb,false],[csreadicb,false],[csreadicc,false]]]],REF).

:-recorda(csreadibc,[true,r,c,[[[direction,false]],[[csreadibc,true],[csreadiaa,false],[csreadiab,false],[csreadiba,false],[csreadibb,false],[csreadicb,false],[csreadicc,false]]]],REF).

:-recorda(csreadicb,[true,r,c,[[[approcuingtoattend,true]],[[csreadicb,true],[csreadiaa,false],[csreadiab,false],[csreadiba,false],[csreadibb,false],[csreadibc,false],[csreadicc,false]]]],REF).

:-recorda(csreadicb,[true,r,c,[[[direction,true]],[[csreadicb,true],[csreadiaa,false],[csreadiab,false],[csreadiba,false],[csreadibb,false],[csreadibc,false],[csreadicc,false]]]],REF).

:-recorda(csreadicc,[true,r,c,[[[approcuingtoattend,false]],[[csreadicc,true],[csreadiaa,false],[csreadiab,false],[csreadiba,false],[csreadibb,false],[csreadicb,false],[csreadibc,false]]]],REF).

:-recorda(csreadicc,[true,r,c,[[[direction,false]],[[csreadicc,true],[csreadiaa,false],[csreadiab,false],[csreadiba,false],[csreadibb,false],[csreadicb,false],[csreadibc,false]]]],REF).

:-recorda(approcuingtoattend,[true,r,c,[[[createstopsit,false]],[[approcuingtoattend,true]]]],REF).

:-recorda(approcuingtoattend,[false,r,c,[[[createstopsit,true]],[[approcuingtoattend,false]]]],REF).

:-recorda(startonwork,[true,r,c,[[[contentsignal,true]],[[startonwork,true]]]],REF).

:-recorda(startonwork,[false,r,c,[[[contentsignal,false]],[[startonwork,false]]]],REF).

:-recorda(direction,[true,r,c,[[[instructionsignal,true]],[[direction,true]]]],REF).

:-recorda(direction,[false,r,c,[[[instructionsignal,false]],[[direction,false]]]],REF).

:-recorda(csreadicc,[true,r,c,[[[direction,false]],[[csreadicc,true],[csreadiaa,true],[csreadiab,false],[csreadiba,false],[csreadibb,false],[csreadicb,false],[csreadibc,false]]]],REF).


:-recorda(readia,[true,r,c,[[[classready,true]],[[readia,true],[readib,false],[readic,false]]]],REF).

:-recorda(readib,[true,r,c,[[[classready,false]],[[readib,true],[readia,false]]]],REF).

:-recorda(readic,[true,r,c,[[[classready,false]],[[readic,true],[readia,false]]]],REF).


:-recorda(prreadia,[true,r,c,[[[wereresponsive,true]],[[prreadia,true],[prreadib,false],[prreadic,false]]]],REF).

:-recorda(prreadib,[true,r,c,[[[wereresponsive,false],[distracted,false]],[[prreadib,true],[prreadia,false],[prreadic,false]]]],REF).

:-recorda(prreadic,[true,r,c,[[[wereresponsive,false],[distracted,true]],[[prreadic,true],[prreadia,false],[prreadib,false]]]],REF).

:-recorda(prreadib,[true,r,c,[[[wereresponsive,false],[startoflesson,false]],[[prreadib,true],[prreadia,false],[prreadic,false]]]],REF).

:-recorda(prreadic,[true,r,c,[[[wereresponsive,false],[startoflesson,false]],[[prreadic,true],[prreadia,false],[prreadib,false]]]],REF).


:-recorda(wereresponsive,[true,r,c,[[[settled,true]],[[wereresponsive,true]]]],REF).

:-recorda(wereresponsive,[false,r,c,[[[settled,false]],[[wereresponsive,false]]]],REF).

:-recorda(wereresponsive,[true,r,c,[[[busy,false]],[[wereresponsive,true]]]],REF).

:-recorda(wereresponsive,[false,r,c,[[[busy,true]],[[wereresponsive,false]]]],REF).

:-recorda(settled,[true,r,c,[[[mentpresent,true]],[[settled,true]]]],REF).

:-recorda(settled,[false,r,c,[[[mentpresent,false]],[[settled,false]]]],REF).

:-recorda(busy,[true,r,c,[[[finishedwork,false]],[[busy,true]]]],REF).

:-recorda(busy,[false,r,c,[[[finishedwork,true]],[[busy,false]]]],REF).

:-recorda(distracted,[true,r,c,[[[interestelsewhere,true]],[[distracted,true]]]],REF).

:-recorda(distracted,[false,r,c,[[[interestelsewhere,false]],[[distracted,false]]]],REF).
