:-recorda(advicegiven,[true,r,c,[[[diagnosis,true],[explanation,true]],[[advicegiven,true]]]],REF).

:-recorda(advicegiven,[false,r,c,[[[secondchance,true]],[[advicegiven,false]]]],REF).

:-recorda(explanation,[true,r,c,[[[cause,true]],[[explanation,true]]]],REF).

:-recorda(diagnosis,[true,r,c,[[[pathway,true],[causeevaluated,true]],[[diagnosis,true]]]],REF).

:-recorda(pathway,[true,r,c,[[[stateofclass,true],[priorstateofclass,true]],[[pathway,true]]]],REF).


:-recorda(stateofclass,[true,r,c,[[[startedlesson,true],[comm,true]],[[stateofclass,true]]]],REF).

:-recorda(stateofclass,[true,r,c,[[[startedlesson,false],[cont,true]],[[stateofclass,true]]]],REF).

:-recorda(startedlesson,[true,r,c,[[[triedstartlesson,true]],[[startedlesson,true]]]],REF).

:-recorda(startedlesson,[false,r,c,[[[triedstartlesson,false]],[[startedlesson,false]]]],REF).

:-recorda(stateofclass,[true,r,c,[[[startoflesson,false],[teachbetter,false],[cont,true]],[[stateofclass,true]]]],REF).

:-recorda(stateofclass,[true,r,c,[[[startoflesson,false],[teachbetter,true],[learn,true]],[[stateofclass,true]]]],REF).

:-recorda(priorstateofclass,[true,r,c,[[[startedlesson,true],[prcomm,true]],[[priorstateofclass,true]]]],REF).

:-recorda(priorstateofclass,[true,r,c,[[[startedlesson,false],[prcont,true]],[[priorstateofclass,true]]]],REF).

:-recorda(priorstateofclass,[true,r,c,[[[startoflesson,false],[teachbetter,false],[prcont,true]],[[priorstateofclass,true]]]],REF).

:-recorda(priorstateofclass,[true,r,c,[[[startoflesson,false],[teachbetter,true],[prlearn,true]],[[priorstateofclass,true]]]],REF).

:-recorda(teachbetter,[true,r,c,[[[teachhelpneeded,true]],[[teachbetter,true]]]],REF).

:-recorda(teachbetter,[false,r,c,[[[teachhelpneeded,false]],[[teachbetter,false]]]],REF).

:-recorda(workdifficulty,[true,r,c,[[[workproblem,true]],[[workdifficulty,true]]]],REF).

:-recorda(workdifficulty,[false,r,c,[[[workproblem,false]],[[workdifficulty,true]]]],REF).


:-recorda(cont,[true,r,c,[[[conta,true]],[[cont,true]]]],REF).

:-recorda(cont,[true,r,c,[[[contb,true]],[[cont,true]]]],REF).

:-recorda(cont,[true,r,c,[[[contc,true]],[[cont,true]]]],REF).

:-recorda(motiv,[true,r,c,[[[motiva,true]],[[motiv,true]]]],REF).

:-recorda(motiv,[true,r,c,[[[motivb,true]],[[motiv,true]]]],REF).

:-recorda(motiv,[true,r,c,[[[motivc,true]],[[motiv,true]]]],REF).

:-recorda(relat,[true,r,c,[[[relata,true]],[[relat,true]]]],REF).

:-recorda(relat,[true,r,c,[[[relatb,true]],[[relat,true]]]],REF).

:-recorda(relat,[true,r,c,[[[relatc,true]],[[relat,true]]]],REF).

:-recorda(comm,[true,r,c,[[[comma,true]],[[comm,true]]]],REF).

:-recorda(comm,[true,r,c,[[[commb,true]],[[comm,true]]]],REF).

:-recorda(comm,[true,r,c,[[[commc,true]],[[comm,true]]]],REF).

:-recorda(comp,[true,r,c,[[[compa,true]],[[comp,true]]]],REF).

:-recorda(comp,[true,r,c,[[[compb,true]],[[comp,true]]]],REF).

:-recorda(comp,[true,r,c,[[[compc,true]],[[comp,true]]]],REF).

:-recorda(recal,[true,r,c,[[[recala,true]],[[recal,true]]]],REF).

:-recorda(recal,[true,r,c,[[[recalb,true]],[[recal,true]]]],REF).

:-recorda(recal,[true,r,c,[[[recalc,true]],[[recal,true]]]],REF).

:-recorda(learn,[true,r,c,[[[learna,true]],[[learn,true]]]],REF).

:-recorda(learn,[true,r,c,[[[learnb,true]],[[learn,true]]]],REF).

:-recorda(learn,[true,r,c,[[[learnc,true]],[[learn,true]]]],REF).

:-recorda(prcont,[true,r,c,[[[prconta,true]],[[prcont,true]]]],REF).

:-recorda(prcont,[true,r,c,[[[prcontb,true]],[[prcont,true]]]],REF).

:-recorda(prcont,[true,r,c,[[[prcontc,true]],[[prcont,true]]]],REF).

:-recorda(prmotiv,[true,r,c,[[[prmotiva,true]],[[prmotiv,true]]]],REF).

:-recorda(prmotiv,[true,r,c,[[[prmotivb,true]],[[prmotiv,true]]]],REF).

:-recorda(prmotiv,[true,r,c,[[[prmotivc,true]],[[prmotiv,true]]]],REF).

:-recorda(prrelat,[true,r,c,[[[prrelata,true]],[[prrelat,true]]]],REF).

:-recorda(prrelat,[true,r,c,[[[prrelatb,true]],[[prrelat,true]]]],REF).

:-recorda(prrelat,[true,r,c,[[[prrelatc,true]],[[prrelat,true]]]],REF).

:-recorda(prcomm,[true,r,c,[[[prcomma,true]],[[prcomm,true]]]],REF).

:-recorda(prcomm,[true,r,c,[[[prcommb,true]],[[prcomm,true]]]],REF).

:-recorda(prcomm,[true,r,c,[[[prcommc,true]],[[prcomm,true]]]],REF).

:-recorda(prcomp,[true,r,c,[[[prcompa,true]],[[prcomp,true]]]],REF).

:-recorda(prcomp,[true,r,c,[[[prcompb,true]],[[prcomp,true]]]],REF).

:-recorda(prcomp,[true,r,c,[[[prcompc,true]],[[prcomp,true]]]],REF).

:-recorda(prrecal,[true,r,c,[[[prrecala,true]],[[prrecal,true]]]],REF).

:-recorda(prrecal,[true,r,c,[[[prrecalb,true]],[[prrecal,true]]]],REF).

:-recorda(prrecal,[true,r,c,[[[prrecalc,true]],[[prrecal,true]]]],REF).

:-recorda(prlearn,[true,r,c,[[[prlearna,true]],[[prlearn,true]]]],REF).

:-recorda(prlearn,[true,r,c,[[[prlearnb,true]],[[prlearn,true]]]],REF).

:-recorda(prlearn,[true,r,c,[[[prlearnc,true]],[[prlearn,true]]]],REF).


:-recorda(contc,[true,r,c,[[[classiscontrolled,false],[disruptinglesson,true]],[[contc,true],[conta,false],[contb,false]]]],REF).

:-recorda(contb,[true,r,c,[[[classiscontrolled,false],[disruptinglesson,false]],[[contb,true],[conta,false],[contc,false]]]],REF).

:-recorda(conta,[true,r,c,[[[classiscontrolled,true]],[[conta,true],[contb,false],[contc,false]]]],REF).

:-recorda(classiscontrolled,[true,r,c,[[[classbehavtaskappro,true]],[[classiscontrolled,true]]]],REF).

:-recorda(classiscontrolled,[false,r,c,[[[classbehavtaskappro,false]],[[classiscontrolled,false]]]],REF).

:-recorda(disruptinglesson,[true,r,c,[[[classisdisruptive,true]],[[disruptinglesson,true]]]],REF).

:-recorda(disruptinglesson,[false,r,c,[[[classisdisruptive,false]],[[disruptinglesson,false]]]],REF).



:-recorda(motivc,[true,r,c,[[[classisparticipating,false],[disruptinglesson,true]],[[motivc,true],[motiva,false],[motivb,false]]]],REF).

:-recorda(motivb,[true,r,c,[[[classisparticipating,false],[disruptinglesson,false]],[[motivb,true],[motiva,false],[motivc,false]]]],REF).

:-recorda(motiva,[true,r,c,[[[classisparticipating,true]],[[motiva,true],[motivb,false],[motivc,false]]]],REF).


:-recorda(classisparticipating,[true,r,c,[[[classiscontrolled,true]],[[classisparticipating,true]]]],REF).

:-recorda(classisparticipating,[true,r,c,[[[classiscontrolled,false],[classaware,false]],[[classisparticipating,true]]]],REF).

:-recorda(classisparticipating,[false,r,c,[[[classiscontrolled,false],[classaware,true]],[[classisparticipating,false]]]],REF).

/*
:-recorda(classisparticipating,[true,r,c,[[[classiscontrolled,false],[taskchanged,true]],[[classisparticipating,true]]]],REF).
*/

:-recorda(classiscooperative,[true,r,c,[[[classiscontrolled,true]],[[classiscooperative,true]]]],REF).

:-recorda(classiscooperative,[true,r,c,[[[classisparticipating,true]],[[classiscooperative,true]]]],REF).

:-recorda(classiscooperative,[false,r,c,[[[classisparticipating,false]],[[classiscooperative,false]]]],REF).


:-recorda(relata,[true,r,c,[[[classiscooperative,true]],[[relata,true],[relatb,false],[relatc,false]]]],REF).

:-recorda(relatb,[true,r,c,[[[classiscooperative,false],[disruptinglesson,false]],[[relatb,true],[relata,false],[relatc,false]]]],REF).

:-recorda(relatc,[true,r,c,[[[classiscooperative,false],[disruptinglesson,true]],[[relatc,true],[relata,false],[relatb,false]]]],REF).


:-recorda(comma,[true,r,c,[[[startoflesson,false],[classaware,true]],[[comma,true],[commb,false],[commc,false]]]],REF).

:-recorda(commb,[true,r,c,[[[startoflesson,false],[classaware,false]],[[commb,true],[comma,false]]]],REF).

:-recorda(commc,[true,r,c,[[[startoflesson,false],[classaware,false]],[[commc,true],[comma,false]]]],REF).

:-recorda(comma,[true,r,c,[[[startoflesson,true],[classready,true],[classaware,true]],[[comma,true],[commb,false],[commc,false]]]],REF).

:-recorda(commb,[true,r,c,[[[startoflesson,true],[classready,true],[classaware,false]],[[commb,true],[comma,false]]]],REF).

:-recorda(commc,[true,r,c,[[[startoflesson,true],[classready,true],[classaware,false]],[[commc,true],[comma,false]]]],REF).

:-recorda(commb,[true,r,c,[[[startoflesson,true],[classready,false]],[[commb,true],[comma,false]]]],REF).

:-recorda(commc,[true,r,c,[[[startoflesson,true],[classready,false]],[[commc,true],[commb,false],[comma,false]]]],REF).
/*
:-recorda(comma,[true,r,c,[[[classaware,true]],[[comma,true],[commb,false],[commc,false]]]],REF).

:-recorda(commb,[true,r,c,[[[classaware,false]],[[commb,true],[comma,false]]]],REF).

:-recorda(commc,[true,r,c,[[[classaware,false]],[[commc,true],[comma,false]]]],REF).
*/



:-recorda(classaware,[true,r,c,[[[classiscontrolled,true]],[[classaware,true]]]],REF).

:-recorda(classaware,[true,r,c,[[[classknowwhattodo,true]],[[classaware,true]]]],REF).

:-recorda(classaware,[false,r,c,[[[classknowwhattodo,false]],[[classaware,false]]]],REF).

:-recorda(classknowwhattodo,[true,r,c,[[[signsofknowing,true]],[[classknowwhattodo,true]]]],REF).

:-recorda(classknowwhattodo,[false,r,c,[[[signsofknowing,false]],[[classknowwhattodo,false]]]],REF).

/*
metarule? possibly cev.
:-recorda(classaware,[false,r,c,[[[classbehavtaskappro,false],[taskchanged,true]],[[classaware,false]]]],REF).
*/
:-recorda(compa,[true,r,c,[[[understanding,true]],[[compa,true],[compb,false],[compc,false]]]],REF).

:-recorda(compb,[true,r,c,[[[understanding,false],[classisdisruptive,false]],[[compb,true],[compa,false],[compc,false]]]],REF).

:-recorda(compc,[true,r,c,[[[understanding,false],[classisdisruptive,true]],[[compc,true],[compb,false],[compa,false]]]],REF).
/*
:-recorda(recala,[true,r,c,[[[previouswork,true]],[[recala,true],[recalb,false],[recalc,false]]]],REF).

:-recorda(recalb,[true,r,c,[[[previouswork,false],[classisdisruptive,false]],[[recalb,true],[recala,false],[recalc,false]]]],REF).

:-recorda(recalc,[true,r,c,[[[previouswork,false],[classisdisruptive,true]],[[recalc,true],[recala,false],[recalb,false]]]],REF).
*/
:-recorda(recala,[true,r,c,[[[adeqrecal,true]],[[recala,true],[recalb,false],[recalc,false]]]],REF).

:-recorda(recalb,[true,r,c,[[[adeqrecal,false],[classisdisruptive,false]],[[recalb,true],[recala,false],[recalc,false]]]],REF).

:-recorda(recalc,[true,r,c,[[[adeqrecal,false],[classisdisruptive,true]],[[recalc,true],[recala,false],[recalb,false]]]],REF).

:-recorda(recala,[true,r,c,[[[previouswork,true]],[[recala,true],[recalb,false],[recalc,false]]]],REF).

:-recorda(recalb,[true,r,c,[[[previouswork,false],[classisdisruptive,false]],[[recalb,true],[recala,false],[recalc,false]]]],REF).

:-recorda(recalc,[true,r,c,[[[previouswork,false],[classisdisruptive,true]],[[recalc,true],[recala,false],[recalb,false]]]],REF).

:-recorda(learna,[true,r,c,[[[compa,true]],[[learna,true],[learna,false],[learnb,false]]]],REF).

:-recorda(learnb,[true,r,c,[[[compb,true]],[[learnb,true],[learna,false],[learnc,false]]]],REF).

:-recorda(learnc,[true,r,c,[[[compc,true]],[[learnc,true],[learna,false],[learnb,false]]]],REF).



:-recorda(prcontc,[true,r,c,[[[classwascontrolled,false],[wasdisruptinglesson,true]],[[prcontc,true],[prconta,false],[prcontb,false]]]],REF).

:-recorda(prcontb,[true,r,c,[[[classwascontrolled,false],[wasdisruptinglesson,false]],[[prcontb,true],[prconta,false],[prcontc,false]]]],REF).

:-recorda(prconta,[true,r,c,[[[classwascontrolled,true]],[[prconta,true],[prcontb,false],[prcontc,false]]]],REF).

:-recorda(prcontb,[true,r,c,[[[startoflesson,true]],[[prcontc,false],[prconta,false],[prcontb,true]]]],REF).

:-recorda(classwascontrolled,[true,r,c,[[[classbehavwastaskappro,true]],[[classwascontrolled,true]]]],REF).

:-recorda(classwascontrolled,[false,r,c,[[[classbehavwastaskappro,false]],[[classwascontrolled,false]]]],REF).

:-recorda(wasdisruptinglesson,[true,r,c,[[[classwasdisruptive,true]],[[wasdisruptinglesson,true]]]],REF).

:-recorda(wasdisruptinglesson,[false,r,c,[[[classwasdisruptive,false]],[[wasdisruptinglesson,false]]]],REF).


:-recorda(prmotivc,[true,r,c,[[[classwasparticipating,false],[wasdisruptinglesson,true]],[[prmotivc,true],[prmotiva,false],[prmotivb,false]]]],REF).

:-recorda(prmotivb,[true,r,c,[[[classwasparticipating,false],[disruptinglesson,false]],[[prmotivb,true],[prmotiva,false],[prmotivc,false]]]],REF).

:-recorda(prmotiva,[true,r,c,[[[classwasparticipating,true]],[[prmotiva,true],[prmotivb,false],[prmotivc,false]]]],REF).

:-recorda(classwasparticipating,[true,r,c,[[[classwascontrolled,true]],[[classwasparticipating,true]]]],REF).

:-recorda(classwasparticipating,[true,r,c,[[[classwascontrolled,false],[classwasawaretdes,false]],[[classwasparticipating,true]]]],REF).

:-recorda(classwasparticipating,[false,r,c,[[[classwascontrolled,false],[classwasawaretdes,true]],[[classwasparticipating,false]]]],REF).
/*
:-recorda(classwasparticipating,[true,r,c,[[[classwascontrolled,false],[taskwaschanged,true]],[[classwasparticipating,true]]]],REF).
*/
:-recorda(classwascooperative,[true,r,c,[[[classwascontrolled,true]],[[classwascooperative,true]]]],REF).

:-recorda(classwascooperative,[true,r,c,[[[classwasparticipating,true]],[[classwascooperative,true]]]],REF).

:-recorda(classwascooperative,[false,r,c,[[[classwasparticipating,false]],[[classwascooperative,false]]]],REF).

:-recorda(prrelata,[true,r,c,[[[classwascooperative,true]],[[prrelata,true],[prrelatb,false],[prrelatc,false]]]],REF).

:-recorda(prrelatb,[true,r,c,[[[classwascooperative,false],[wasdisruptinglesson,false]],[[prrelatb,true],[prrelata,false],[prrelatc,false]]]],REF).

:-recorda(prrelatc,[true,r,c,[[[classwascooperative,false],[wasdisruptinglesson,true]],[[prrelatc,true],[prrelata,false],[prrelatb,false]]]],REF).

:-recorda(prcomma,[true,r,c,[[[wasclassaware,true]],[[prcomma,true],[prcommb,false],[prcommc,false]]]],REF).

:-recorda(prcommb,[true,r,c,[[[wasclassaware,false],[wasdisruptinglesson,false]],[[prcommb,true],[prcomma,false],[prcommc,false]]]],REF).

:-recorda(prcommc,[true,r,c,[[[wasclassaware,false],[wasdisruptinglesson,true]],[[prcommc,true],[prcomma,false],[prcommb,false]]]],REF).

:-recorda(wasclassaware,[true,r,c,[[[classwascontrolled,true]],[[wasclassaware,true]]]],REF).

:-recorda(wasclassaware,[false,r,c,[[[classwascontrolled,false]],[[wasclassaware,false]]]],REF).

:-recorda(prcommb,[true,r,c,[[[startoflesson,true]],[[prcommc,false],[prcomma,false],[prcommb,true]]]],REF).


:-recorda(prcompa,[true,r,c,[[[wasunderstanding,true]],[[prcompa,true],[prcompb,false],[prcompc,false]]]],REF).

:-recorda(prcompb,[true,r,c,[[[wasunderstanding,false],[wasdisruptinglesson,false]],[[prcompb,true],[notprcompa,false],[prcompc,false]]]],REF).

:-recorda(prcompc,[true,r,c,[[[wasunderstanding,false],[wasdisruptinglesson,true]],[[prcompc,true],[prcompa,false],[prcompb,false]]]],REF).

:-recorda(prrecala,[true,r,c,[[[waspreviouswork,true]],[[prrecala,true],[prrecalb,false],[prrecalc,false]]]],REF).

:-recorda(prrecalb,[true,r,c,[[[waspreviouswork,false],[wasdisruptinglesson,false]],[[prrecalb,true],[prrecala,false],[prrecalc,false]]]],REF).

:-recorda(prrecalc,[true,r,c,[[[waspreviouswork,false],[wasdisruptinglesson,true]],[[prrecalc,true],[prrecala,false],[prrecalb,false]]]],REF).

:-recorda(prlearna,[true,r,c,[[[prcompa,true]],[[prlearna,true],[prlearnb,false],[prlearnc,false]]]],REF).

:-recorda(prlearnb,[true,r,c,[[[prcompb,true]],[[prlearnb,true],[prlearna,false],[prlearnc,false]]]],REF).

:-recorda(prlearnc,[true,r,c,[[[prcompc,true]],[[prlearnc,true],[prlearna,false],[prlearnb,false]]]],REF).
