:-recorda(causeevaluated,[true,r,c,[[[startedlesson,false],[contcs,true]],[[causeevaluated,true]]]],REF).

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

:-recorda(causeevaluated,[true,r,c,[[[startoflesson,false],[contcs,true]],[[causeevaluated,true]]]],REF).

:-recorda(contcs,[true,r,c,[[[prconta,true],[conta,true],[cscontaa,true]],[[contcs,true]]]],REF).

:-recorda(contcs,[true,r,c,[[[prconta,true],[contb,true],[cscontab,true]],[[contcs,true]]]],REF).

:-recorda(contcs,[true,r,c,[[[prconta,true],[contc,true],[cscontac,true]],[[contcs,true]]]],REF).

:-recorda(contcs,[true,r,c,[[[prcontb,true],[contb,true],[cscontbb,true]],[[contcs,true]]]],REF).

:-recorda(contcs,[true,r,c,[[[prcontb,true],[contc,true],[cscontbc,true]],[[contcs,true]]]],REF).

:-recorda(contcs,[true,r,c,[[[prcontb,true],[contc,true],[cscontbc,true]],[[contcs,true]]]],REF).

:-recorda(contcs,[true,r,c,[[[prcontc,true],[conta,true],[cscontca,true]],[[contcs,true]]]],REF).

:-recorda(contcs,[true,r,c,[[[prcontc,true],[contb,true],[cscontcb,true]],[[contcs,true]]]],REF).

:-recorda(contcs,[true,r,c,[[[prcontc,true],[contc,true],[cscontcc,true]],[[contcs,true]]]],REF).


:-recorda(cscontab,[true,r,c,[[[prcomm,true],[commc,true],[commcs,true]],[[cscontab,true]]]],REF).

:-recorda(cscontac,[true,r,c,[[[prcomm,true],[commc,true],[commcs,true]],[[cscontac,true]]]],REF).

:-recorda(cscontbc,[true,r,c,[[[prcomm,true],[commc,true],[commcs,true]],[[cscontbc,true]]]],REF).


:-recorda(cscontab,[true,r,c,[[[prcomp,true],[compc,true],[compcs,true]],[[cscontab,true]]]],REF).

:-recorda(cscontac,[true,r,c,[[[prcomp,true],[compc,true],[compcs,true]],[[cscontac,true]]]],REF).

:-recorda(cscontbc,[true,r,c,[[[prcomp,true],[compc,true],[compcs,true]],[[cscontbc,true]]]],REF).

:-recorda(cscontbb,[true,r,c,[[[prcomp,true],[compc,true],[compcs,true]],[[cscontbb,true]]]],REF).

:-recorda(cscontcc,[true,r,c,[[[prcomp,true],[compc,true],[compcs,true]],[[cscontcc,true]]]],REF).

:-recorda(cscontab,[true,r,c,[[[prcomm,true],[commb,true],[commcs,true]],[[cscontab,true]]]],REF).

:-recorda(cscontac,[true,r,c,[[[prcomm,true],[commb,true],[commcs,true]],[[cscontac,true]]]],REF).

:-recorda(cscontbc,[true,r,c,[[[prcomm,true],[commb,true],[commcs,true]],[[cscontbc,true]]]],REF).


:-recorda(cscontab,[true,r,c,[[[prcomp,true],[compb,true],[compcs,true]],[[cscontab,true]]]],REF).

:-recorda(cscontac,[true,r,c,[[[prcomp,true],[compb,true],[compcs,true]],[[cscontac,true]]]],REF).

:-recorda(cscontbc,[true,r,c,[[[prcomp,true],[compb,true],[compcs,true]],[[cscontbc,true]]]],REF).

:-recorda(cscontbb,[true,r,c,[[[prcomp,true],[compb,true],[compcs,true]],[[cscontbb,true]]]],REF).

:-recorda(cscontcc,[true,r,c,[[[prcomp,true],[compb,true],[compcs,true]],[[cscontcc,true]]]],REF).



:-recorda(cscontaa,[true,r,c,[[[classapproengaged,true]],[[cscontaa,true],[cscontab,false],[cscontba,false],[cscontbb,false],[cscontbc,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontab,[true,r,c,[[[classapproengaged,false]],[[cscontab,true],[cscontaa,false],[cscontba,false],[cscontbb,false],[cscontbc,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontba,[true,r,c,[[[classapproengaged,true]],[[cscontba,true],[cscontaa,false],[cscontab,false],[cscontbb,false],[cscontbc,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontbb,[true,r,c,[[[classapproengaged,false]],[[cscontbb,true],[cscontaa,false],[cscontab,false],[cscontba,false],[cscontbc,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontbc,[true,r,c,[[[classapproengaged,false]],[[cscontbc,true],[cscontaa,false],[cscontab,false],[cscontba,false],[cscontbb,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontcb,[true,r,c,[[[classapproengaged,true]],[[cscontcb,true],[cscontaa,false],[cscontab,false],[cscontba,false],[cscontbb,false],[cscontbc,false],[cscontcc,false]]]],REF).

:-recorda(cscontcc,[true,r,c,[[[classapproengaged,false]],[[cscontcc,true],[cscontaa,false],[cscontab,false],[cscontba,false],[cscontbb,false],[cscontbc,false],[cscontcb,false]]]],REF).

:-recorda(cscontaa,[true,r,c,[[[managepupilarrival,true]],[[cscontaa,true],[cscontab,false],[cscontba,false],[cscontbb,false],[cscontbc,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontab,[true,r,c,[[[managepupilarrival,true]],[[cscontab,true],[cscontaa,false],[cscontba,false],[cscontbb,false],[cscontbc,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontba,[true,r,c,[[[managepupilarrival,false]],[[cscontba,true],[cscontaa,false],[cscontab,false],[cscontbb,false],[cscontbc,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontbb,[true,r,c,[[[managepupilarrival,false]],[[cscontbb,true],[cscontaa,false],[cscontab,false],[cscontba,false],[cscontbc,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontbc,[true,r,c,[[[managepupilarrival,false]],[[cscontbc,true],[cscontaa,false],[cscontab,false],[cscontba,false],[cscontbb,false],[cscontcb,false],[cscontcc,false]]]],REF).

:-recorda(cscontcb,[true,r,c,[[[managepupilarrival,true]],[[cscontcb,true],[cscontaa,false],[cscontab,false],[cscontba,false],[cscontbb,false],[cscontbc,false],[cscontcc,false]]]],REF).

:-recorda(cscontcc,[true,r,c,[[[managepupilarrival,false]],[[cscontcc,true],[cscontaa,false],[cscontab,false],[cscontba,false],[cscontbb,false],[cscontbc,false],[cscontcb,false]]]],REF).


:-recorda(classapproengaged,[false,r,c,[[[beganteaching,false]],[[classapproengaged,false]]]],REF).

:-recorda(classapproengaged,[true,r,c,[[[classgivenwork,true]],[[classapproengaged,true]]]],REF).

:-recorda(classapproengaged,[false,r,c,[[[classgivenwork,false]],[[classapproengaged,false]]]],REF).


:-recorda(managepupilarrival,[false,r,c,[[[beganteaching,true]],[[managepupilarrival,false]]]],REF).

:-recorda(managepupilarrival,[true,r,c,[[[occupyclass,true]],[[managepupilarrival,true]]]],REF).

:-recorda(managepupilarrival,[false,r,c,[[[occupyclass,false]],[[managepupilarrival,false]]]],REF).


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

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

:-recorda(occupyclass,[true,r,c,[[[fillintime,true]],[[occupyclass,true]]]],REF).

:-recorda(occupyclass,[false,r,c,[[[fillintime,false]],[[occupyclass,false]]]],REF).


:-recorda(classarrived,[true,r,c,[[[phypresent,true]],[[classarrived,true]]]],REF).

:-recorda(classarrived,[false,r,c,[[[phypresent,false]],[[classarrived,false]]]],REF).


:-recorda(motivcs,[true,r,c,[[[prmotiva,true],[motiva,true],[csmotivaa,true]],[[motivcs,true]]]],REF).

:-recorda(motivcs,[true,r,c,[[[prmotiva,true],[motivb,true],[csmotivab,true]],[[motivcs,true]]]],REF).

:-recorda(motivcs,[true,r,c,[[[prmotiva,true],[motivc,true],[csmotivac,true]],[[motivcs,true]]]],REF).

:-recorda(motivcs,[true,r,c,[[[prmotivb,true],[motiva,true],[csmotivba,true]],[[motivcs,true]]]],REF).

:-recorda(motivcs,[true,r,c,[[[prmotivb,true],[motivb,true],[csmotivbb,true]],[[motivcs,true]]]],REF).

:-recorda(motivcs,[true,r,c,[[[prmotivb,true],[motivc,true],[csmotivbc,true]],[[motivcs,true]]]],REF).

:-recorda(motivcs,[true,r,c,[[[prmotivc,true],[motiva,true],[csmotivca,true]],[[motivcs,true]]]],REF).

:-recorda(motivcs,[true,r,c,[[[prmotivc,true],[motivb,true],[csmotivcb,true]],[[motivcs,true]]]],REF).

:-recorda(motivcs,[true,r,c,[[[prmotivc,true],[motivc,true],[csmotivcc,true]],[[motivcs,true]]]],REF).


:-recorda(csmotivaa,[true,r,c,[[[pupilsinvolved,true]],[[csmotivaa,true],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivab,[true,r,c,[[[pupilsinvolved,false]],[[csmotivab,true],[csmotivaa,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivba,[true,r,c,[[[pupilsinvolved,true]],[[csmotivba,true],[csmotivaa,false],[csmotivab,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivbb,[true,r,c,[[[pupilsinvolved,true]],[[csmotivbb,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivbc,[true,r,c,[[[pupilsinvolved,false]],[[csmotivbc,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivcb,[true,r,c,[[[pupilsinvolved,true]],[[csmotivcb,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivcc,[true,r,c,[[[pupilsinvolved,false]],[[csmotivcc,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false]]]],REF).


:-recorda(pupilsinvolved,[true,r,c,[[[classgivenwork,true]],[[pupilsinvolved,true]]]],REF).

:-recorda(pupilsinvolved,[false,r,c,[[[classgivenwork,false]],[[pupilsinvolved,false]]]],REF).

:-recorda(pupilsinvolved,[true,r,c,[[[taskapprobehavactive,true]],[[pupilsinvolved,true]]]],REF).

:-recorda(pupilsinvolved,[false,r,c,[[[taskapprobehavactive,false]],[[pupilsinvolved,false]]]],REF).

:-recorda(pupilsinvolved,[true,r,c,[[[invinownlearn,true]],[[pupilsinvolved,true]]]],REF).

:-recorda(pupilsinvolved,[false,r,c,[[[invinownlearn,false]],[[pupilsinvolved,false]]]],REF).   


:-recorda(invinownlearn,[true,r,c,[[[feedbackonperf,true]],[[invinownlearn,true]]]],REF).

:-recorda(invinownlearn,[false,r,c,[[[feedbackonperf,false]],[[invinownlearn,false]]]],REF).


:-recorda(invinownlearn,[true,r,c,[[[indivattn,true],[lrnneedsmet,true]],[[invinownlearn,true]]]],REF).

:-recorda(invinownlearn,[false,r,c,[[[indivattn,false],[lrnneedsmet,false]],[[invinownlearn,false]]]],REF).

:-recorda(lrnneedsmet,[false,r,c,[[[lssnpresinflex,true]],[[lrnneedsmet,false]]]],REF).

:-recorda(lrnneedsmet,[true,r,c,[[[lssnpresinflex,false]],[[lrnneedsmet,true]]]],REF).


:-recorda(lssnpresinflex,[true,r,c,[[[tunfamilsubjmat,true]],[[lssnpresinflex,true]]]],REF).


:-recorda(csmotivaa,[true,r,c,[[[pupilinvestment,true]],[[csmotivaa,true],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivab,[true,r,c,[[[pupilinvestment,false]],[[csmotivab,true],[csmotivaa,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivba,[true,r,c,[[[pupilinvestment,true]],[[csmotivba,true],[csmotivaa,false],[csmotivab,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivbb,[true,r,c,[[[pupilinvestment,true]],[[csmotivbb,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivbc,[true,r,c,[[[pupilinvestment,false]],[[csmotivbc,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivcb,false],[csmotivcc,false]]]],REF).   

:-recorda(csmotivcb,[true,r,c,[[[pupilinvestment,true]],[[csmotivcb,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivcc,[true,r,c,[[[pupilinvestment,false]],[[csmotivcc,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false]]]],REF).


:-recorda(pupilinvestment,[false,r,c,[[[interesting,false]],[[pupilinvestment,false]]]],REF).

:-recorda(pupilinvestment,[true,r,c,[[[interesting,true]],[[pupilinvestment,true]]]],REF).


:-recorda(pupilinvestment,[true,r,c,[[[relevance,true]],[[pupilinvestment,true]]]],REF).

:-recorda(pupilinvestment,[false,r,c,[[[relevance,false]],[[pupilinvestment,false]]]],REF).


:-recorda(pupilinvestment,[false,r,c,[[[anxietyprovk,true]],[[pupilinvestment,false]]]],REF).

:-recorda(pupilinvestment,[true,r,c,[[[anxietyprovk,false]],[[pupilinvestment,true]]]],REF).


:-recorda(pupilinvestment,[false,r,c,[[[enjoyable,false]],[[pupilinvestment,false]]]],REF).

:-recorda(pupilinvestment,[true,r,c,[[[enjoyable,true]],[[pupilinvestment,true]]]],REF).


:-recorda(enjoyable,[false,r,c,[[[tenthus,false]],[[enjoyable,false]]]],REF).

:-recorda(enjoyable,[true,r,c,[[[tenthus,true]],[[enjoyable,true]]]],REF).


:-recorda(csmotivaa,[true,r,c,[[[senseofprogress,true]],[[csmotivaa,true],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcc,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivab,[true,r,c,[[[senseofprogress,false]],[[csmotivab,true],[csmotivaa,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcc,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivba,[true,r,c,[[[senseofprogress,true]],[[csmotivba,true],[csmotivaa,false],[csmotivab,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivbb,[true,r,c,[[[senseofprogress,true]],[[csmotivbb,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbc,false],[csmotivcb,false],[csmotivcc,false]]]],REF).   

:-recorda(csmotivbc,[true,r,c,[[[senseofprogress,false]],[[csmotivbc,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivcb,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivcb,[true,r,c,[[[senseofprogress,true]],[[csmotivcb,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcc,false]]]],REF).

:-recorda(csmotivcc,[true,r,c,[[[senseofprogress,false]],[[csmotivcc,true],[csmotivaa,false],[csmotivab,false],[csmotivba,false],[csmotivbb,false],[csmotivbc,false],[csmotivcb,false]]]],REF).


:-recorda(senseofprogress,[true,r,c,[[[experachievement,true]],[[senseofprogress,true]]]],REF).

:-recorda(senseofprogress,[false,r,c,[[[experachievement,false]],[[senseofprogress,false]]]],REF).

:-recorda(senseofprogress,[false,r,c,[[[delaysinlssn,true]],[[senseofprogress,false]]]],REF).

:-recorda(senseofprogress,[true,r,c,[[[delaysinlssn,false]],[[senseofprogress,true]]]],REF).


:-recorda(senseofprogress,[true,r,c,[[[challenge,true]],[[senseofprogress,true]]]],REF).
/*
:-recorda(motivb,[true,r,c,[[[compb,true]],[[motivb,true]]]],REF).

:-recorda(motivc,[true,r,c,[[[compc,true]],[[motivc,true]]]],REF).
*/

:-recorda(relatcs,[true,r,c,[[[prrelata,true],[relata,true],[csrelataa,true]],[[relatcs,true]]]],REF).

:-recorda(relatcs,[true,r,c,[[[prrelata,true],[relatb,true],[csrelatab,true]],[[relatcs,true]]]],REF).

:-recorda(relatcs,[true,r,c,[[[prrelata,true],[relatc,true],[csrelatac,true]],[[relatcs,true]]]],REF).

:-recorda(relatcs,[true,r,c,[[[prrelatb,true],[relata,true],[csrelatba,true]],[[relatcs,true]]]],REF).

:-recorda(relatcs,[true,r,c,[[[prrelatb,true],[relatb,true],[csrelatbb,true]],[[relatcs,true]]]],REF).

:-recorda(relatcs,[true,r,c,[[[prrelatb,true],[relatc,true],[csrelatbc,true]],[[relatcs,true]]]],REF).

:-recorda(relatcs,[true,r,c,[[[prrelatc,true],[relata,true],[csrelatca,true]],[[relatcs,true]]]],REF).

:-recorda(relatcs,[true,r,c,[[[prrelatc,true],[relatb,true],[csrelatcb,true]],[[relatcs,true]]]],REF).

:-recorda(relatcs,[true,r,c,[[[prrelatc,true],[relatc,true],[csrelatcc,true]],[[relatcs,true]]]],REF).

:-recorda(csrelataa,[true,r,c,[[[pupilsrespectt,true]],[[csrelataa,true],[csrelatab,false],[csrelatba,false],[csrelatbb,false],[csrelatbc,false],[csrelatcb,false],[csrelatcc,false]]]],REF).

:-recorda(csrelatab,[true,r,c,[[[pupilsrespectt,false]],[[csrelatab,true],[csrelataa,false],[csrelatba,false],[csrelabb,false],[csrelatbc,false],[csrelatcb,false],[csrelatcc,false]]]],REF).

:-recorda(csrelatba,[true,r,c,[[[pupilsrespectt,false]],[[csrelatba,true],[csrelataa,false],[csrelatab,false],[csrelabb,false],[csrelatbc,false],[csrelatcb,false],[csrelatcc,false]]]],REF).

:-recorda(csrelatbb,[true,r,c,[[[pupilsrespectt,true]],[[csrelatbb,true],[csrelataa,false],[csrelatab,false],[csrelatba,false],[csrelatbc,false],[csrelatcb,false],[csrelatcc,false]]]],REF).

:-recorda(csrelatbc,[true,r,c,[[[pupilsrespectt,false]],[[csrelatbc,true],[csrelataa,false],[csrelatab,false],[csrelatba,false],[csrelabb,false],[csrelatcb,false],[csrelatcc,false]]]],REF).

:-recorda(csrelatcb,[true,r,c,[[[pupilsrespectt,true]],[[csrelatcb,true],[csrelataa,false],[csrelatab,false],[csrelatba,false],[csrelabb,false],[csrelatbc,false],[csrelatcc,false]]]],REF).

:-recorda(csrelatcc,[true,r,c,[[[pupilsrespectt,false]],[[csrelatcc,true],[csrelataa,false],[csrelatab,false],[csrelatba,false],[csrelabb,false],[csrelatbc,false],[csrelatcb,false]]]],REF).   


:-recorda(pupilsrespectt,[true,r,c,[[[tsndsserious,true]],[[pupilsrespectt,true]]]],REF).

:-recorda(pupilsrespectt,[false,r,c,[[[tsndsserious,false]],[[pupilsrespectt,false]]]],REF).

:-recorda(pupilsrespectt,[true,r,c,[[[tinsincere,false]],[[pupilsrespectt,true]]]],REF).

:-recorda(pupilsrespectt,[false,r,c,[[[tinsincere,true]],[[pupilsrespectt,false]]]],REF).

:-recorda(pupilsrepectt,[true,r,c,[[[tineffective,false]],[[pupilsrespectt,true]]]],REF).

:-recorda(pupilsrespectt,[false,r,c,[[[tineffective,true]],[[pupilsrespect,false]]]],REF).   


:-recorda(commcs,[true,r,c,[[[prcomma,true],[comma,true],[cscommaa,true]],[[commcs,true]]]],REF).

:-recorda(commcs,[true,r,c,[[[prcomma,true],[commb,true],[cscommab,true]],[[commcs,true]]]],REF).

:-recorda(commcs,[true,r,c,[[[prcomma,true],[commc,true],[cscommac,true]],[[commcs,true]]]],REF).

:-recorda(commcs,[true,r,c,[[[prcommb,true],[comma,true],[cscommba,true]],[[commcs,true]]]],REF).

:-recorda(commcs,[true,r,c,[[[prcommb,true],[commb,true],[cscommbb,true]],[[commcs,true]]]],REF).

:-recorda(commcs,[true,r,c,[[[prcommb,true],[commc,true],[cscommbc,true]],[[commcs,true]]]],REF).

:-recorda(commcs,[true,r,c,[[[prcommc,true],[comma,true],[cscommca,true]],[[commcs,true]]]],REF).

:-recorda(commcs,[true,r,c,[[[prcommc,true],[commb,true],[cscommcb,true]],[[commcs,true]]]],REF).

:-recorda(commcs,[true,r,c,[[[prcommc,true],[commc,true],[cscommcc,true]],[[commcs,true]]]],REF).

/*
:-recorda(cscommab,[true,r,c,[[[classpresent,false]],[[cscommab,true],[cscommaa,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[ycscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommbc,[true,r,c,[[[classpresent,false]],[[cscommbc,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommcc,[true,r,c,[[[classpresent,false]],[[cscommcc,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[cscommcb,false]]]],REF).
*/

:-recorda(cscommaa,[true,r,c,[[[classinstructed,true]],[[cscommaa,true],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[cscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommab,[true,r,c,[[[classinstructed,false]],[[cscommab,true],[cscommaa,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[ycscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommba,[true,r,c,[[[classinstructed,true]],[[cscommba,true],[cscommaa,false],[cscommab,false],[cscommbb,false],[cscommbc,false],[cscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommbb,[true,r,c,[[[classinstructed,true]],[[cscommbb,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbc,false],[cscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommbc,[true,r,c,[[[classinstructed,false]],[[cscommbc,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommcb,[true,r,c,[[[classinstructed,true]],[[cscommcb,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[cscommcc,false]]]],REF).

:-recorda(cscommcc,[true,r,c,[[[classinstructed,false]],[[cscommcc,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[cscommcb,false]]]],REF).

:-recorda(cscommaa,[true,r,c,[[[classready,true]],[[cscommaa,true],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[cscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommab,[true,r,c,[[[classready,false]],[[cscommab,true],[cscommaa,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[ycscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommba,[true,r,c,[[[classready,true]],[[cscommba,true],[cscommaa,false],[cscommab,false],[cscommbb,false],[cscommbc,false],[cscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommbb,[true,r,c,[[[classready,false]],[[cscommbb,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbc,false],[cscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommbc,[true,r,c,[[[classready,false]],[[cscommbc,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommcb,false],[cscommcc,false]]]],REF).

:-recorda(cscommcb,[true,r,c,[[[classready,true]],[[cscommcb,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[cscommcc,false]]]],REF).

:-recorda(cscommcc,[true,r,c,[[[classready,false]],[[cscommcc,true],[cscommaa,false],[cscommab,false],[cscommba,false],[cscommbb,false],[cscommbc,false],[cscommcb,false]]]],REF).

/*
:-recorda(classinstructed,[false,r,c,[[[signalclass,false]],[[classinstructed,false]]]],REF).

:-recorda(classinstructed,[false,r,c,[[[signalclass,true],[signalworked,false]],[[classinstructed,false]]]],REF).
*/
:-recorda(classready,[false,r,c,[[[signalclass,true],[signalworked,false]],[[classready,false]]]],REF).

:-recorda(classready,[false,r,c,[[[signalclass,false],[signalworked,false]],[[classready,false]]]],REF).

:-recorda(classready,[true,r,c,[[[signalclass,true],[signalworked,true]],[[classready,true]]]],REF).

:-recorda(classready,[true,r,c,[[[signalclass,false],[signalworked,true]],[[classready,true]]]],REF).

:-recorda(classresponded,[true,r,c,[[[signalclass,true],[signalworked,true]],[[classresponded,true]]]],REF).

:-recorda(classresponded,[true,r,c,[[[signalclass,false],[signalworked,true]],[[classresponded,true]]]],REF).

:-recorda(classresponded,[false,r,c,[[[signalclass,true],[signalworked,false]],[[classresponded,false]]]],REF).

:-recorda(classresponded,[false,r,c,[[[signalclass,false],[signalworked,false]],[[classresponded,false]]]],REF).

:-recorda(classinstructed,[true,r,c,[[[classresponded,true],[classawaretdes,true]],[[classinstructed,true]]]],REF).

:-recorda(classinstructed,[false,r,c,[[[classresponded,true],[classawaretdes,false]],[[classinstructed,false]]]],REF).

:-recorda(classpresent,[true,r,c,[[[phypresent,true]],[[classpresent,true]]]],REF).

:-recorda(classpresent,[false,r,c,[[[phypresent,false]],[[classpresent,false]]]],REF).


:-recorda(compcs,[true,r,c,[[[prcompa,true],[compa,true],[cscompaa,true]],[[compcs,true]]]],REF).

:-recorda(compcs,[true,r,c,[[[prcompa,true],[compb,true],[cscompab,true]],[[compcs,true]]]],REF).

:-recorda(compcs,[true,r,c,[[[prcompa,true],[compc,true],[cscompac,true]],[[compcs,true]]]],REF).

:-recorda(compcs,[true,r,c,[[[prcompb,true],[compa,true],[cscompba,true]],[[compcs,true]]]],REF).

:-recorda(compcs,[true,r,c,[[[prcompb,true],[compb,true],[cscompbb,true]],[[compcs,true]]]],REF).

:-recorda(compcs,[true,r,c,[[[prcompb,true],[compc,true],[cscompbc,true]],[[compcs,true]]]],REF).

:-recorda(compcs,[true,r,c,[[[prcompc,true],[compa,true],[cscompca,true]],[[compcs,true]]]],REF).

:-recorda(compcs,[true,r,c,[[[prcompc,true],[compb,true],[cscompcb,true]],[[compcs,true]]]],REF).

:-recorda(compcs,[true,r,c,[[[prcompc,true],[compc,true],[cscompcc,true]],[[compcs,true]]]],REF).


/*                    
:-recorda(cscompaa,[true,r,c,[[[workdifficult,false]],[[cscompaa,true],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompab,[true,r,c,[[[workdifficult,true]],[[cscompab,true],[cscompaa,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompba,[true,r,c,[[[workdifficult,false]],[[cscompba,true],[cscompaa,false],[cscompab,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbb,[true,r,c,[[[workdifficult,false]],[[cscompbb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbc,[true,r,c,[[[workdifficult,true]],[[cscompbc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompcb,[true,r,c,[[[workdifficult,false]],[[cscompcb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcc,false]]]],REF).

:-recorda(cscompcc,[true,r,c,[[[workdifficult,true]],[[cscompcc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false]]]],REF).



:-recorda(cscompaa,[true,r,c,[[[taskdifficult,false]],[[cscompaa,true],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompab,[true,r,c,[[[taskdifficult,true]],[[cscompab,true],[cscompaa,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompba,[true,r,c,[[[taskdifficult,false]],[[cscompba,true],[cscompaa,false],[cscompab,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbb,[true,r,c,[[[taskdifficult,false]],[[cscompbb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbc,[true,r,c,[[[taskdifficult,true]],[[cscompbc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompcb,[true,r,c,[[[taskdifficult,false]],[[cscompcb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcc,false]]]],REF).

:-recorda(cscompcc,[true,r,c,[[[taskdifficult,true]],[[cscompcc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false]]]],REF).
*/

/*
:-recorda(cscompaa,[true,r,c,[[[strmatcomm,true]],[[cscompaa,true],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompab,[true,r,c,[[[strmatcomm,false]],[[cscompab,true],[cscompaa,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompba,[true,r,c,[[[strmatcomm,true]],[[cscompba,true],[cscompaa,false],[cscompab,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbb,[true,r,c,[[[strmatcomm,true]],[[cscompbb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbc,[true,r,c,[[[strmatcomm,false]],[[cscompbc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompcb,[true,r,c,[[[strmatcomm,true]],[[cscompcb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcc,false]]]],REF).

:-recorda(cscompcc,[true,r,c,[[[strmatcomm,false]],[[cscompcc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false]]]],REF).
*/

:-recorda(cscompaa,[true,r,c,[[[groundwork,true]],[[cscompaa,true],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompab,[true,r,c,[[[groundwork,false]],[[cscompab,true],[cscompaa,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompba,[true,r,c,[[[groundwork,true]],[[cscompba,true],[cscompaa,false],[cscompab,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbb,[true,r,c,[[[groundwork,true]],[[cscompbb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbc,[true,r,c,[[[groundwork,false]],[[cscompbc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompcb,[true,r,c,[[[groundwork,true]],[[cscompcb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcc,false]]]],REF).

:-recorda(cscompcc,[true,r,c,[[[groundwork,false]],[[cscompcc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false]]]],REF).

:-recorda(cscompaa,[true,r,c,[[[presentation,true]],[[cscompaa,true],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompab,[true,r,c,[[[presentation,false]],[[cscompab,true],[cscompaa,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompba,[true,r,c,[[[presentation,true]],[[cscompba,true],[cscompaa,false],[cscompab,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbb,[true,r,c,[[[presentation,true]],[[cscompbb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbc,[true,r,c,[[[presentation,false]],[[cscompbc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompcb,[true,r,c,[[[presentation,true]],[[cscompcb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcc,false]]]],REF).

:-recorda(cscompcc,[true,r,c,[[[presentation,false]],[[cscompcc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false]]]],REF).


:-recorda(cscompab,[true,r,c,[[[recalb,true],[prrecal,true],[recalcs,true]],[[cscompab,true],[cscompaa,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbb,[true,r,c,[[[recalb,true],[prrecal,true],[recalcs,true]],[[cscompbb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbc,[true,r,c,[[[recalb,true],[prrecal,true],[recalcs,true]],[[cscompbc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompcc,[true,r,c,[[[recalb,true],[prrecal,true],[recalcs,true]],[[cscompcc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false]]]],REF).


:-recorda(cscompab,[true,r,c,[[[recalc,true],[prrecal,true],[recalcs,true]],[[cscompab,true],[cscompaa,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbb,[true,r,c,[[[recalc,true],[prrecal,true],[recalcs,true]],[[cscompbb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbc,[true,r,c,[[[recalc,true],[prrecal,true],[recalcs,true]],[[cscompbc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompcc,[true,r,c,[[[recalc,true],[prrecal,true],[recalcs,true]],[[cscompcc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false]]]],REF).


:-recorda(groundwork,[true,r,c,[[[workbeyondexper,false]],[[groundwork,true]]]],REF).

:-recorda(groundwork,[false,r,c,[[[workbeyondexper,true]],[[groundwork,false]]]],REF).

:-recorda(presentation,[true,r,c,[[[chkpsundstd,false]],[[presentation,true]]]],REF).

:-recorda(presentation,[false,r,c,[[[chkpsundstd,true]],[[presentation,false]]]],REF).

/*
:-recorda(,[true,r,c,[[[recalb,true],[prrecal,true],[recalcs,true]],[[,true]]]],REF).
*/



/*
:-recorda(strmatcomm,[true,r,c,[[[disjpres,false]],[[strmatcomm,true]]]],REF).

:-recorda(strmatcomm,[false,r,c,[[[disjpres,true]],[[strmatcomm,false]]]],REF).

:-recorda(strmatcomm,[true,r,c,[[[matdiff,false]],[[strmatcomm,true]]]],REF).

:-recorda(strmatcomm,[true,r,c,[[[lrnneeds,true]],[[strmatcomm,true]]]],REF).

:-recorda(strmatcomm,[false,r,c,[[[lrnneeds,false]],[[strmatcomm,false]]]],REF).

:-recorda(strmatcomm,[true,r,c,[[[unfamilarea,false]],[[strmatcomm,true]]]],REF).

:-recorda(strmatcomm,[false,r,c,[[[unfamilarea,true]],[[strmatcomm,false]]]],REF).
*/

/*                    
:-recorda(cscompaa,[true,r,c,[[[pacepupappre,true]],[[cscompaa,true],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompab,[true,r,c,[[[pacepupappre,false]],[[cscompab,true],[cscompaa,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompba,[true,r,c,[[[pacepupappre,true]],[[cscompba,true],[cscompaa,false],[cscompab,false],[cscompbb,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbb,[true,r,c,[[[pacepupappre,true]],[[cscompbb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbc,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompbc,[true,r,c,[[[pacepupappre,false]],[[cscompbc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompcb,false],[cscompcc,false]]]],REF).

:-recorda(cscompcb,[true,r,c,[[[pacepupappre,true]],[[cscompcb,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcc,false]]]],REF).

:-recorda(cscompcc,[true,r,c,[[[pacepupappre,false]],[[cscompcc,true],[cscompaa,false],[cscompab,false],[cscompba,false],[cscompbb,false],[cscompbc,false],[cscompcb,false]]]],REF).


:-recorda(pacepupappre,[true,r,c,[[[chkpsundstd,true]],[[pacepupappre,true]]]],REF).

:-recorda(pacepupappre,[false,r,c,[[[chkpsundstd,false]],[[pacepupappre,false]]]],REF).

:-recorda(pacepupappre,[true,r,c,[[[asspundstd,true]],[[pacepupappre,true]]]],REF).

:-recorda(pacepupappre,[false,r,c,[[[asspundstd,false]],[[pacepupappre,false]]]],REF).

:-recorda(pacepupappre,[true,r,c,[[[impassundstd,true]],[[pacepupappre,true]]]],REF).

:-recorda(pacepupappre,[false,r,c,[[[impassundstd,false]],[[pacepupappre,false]]]],REF).

:-recorda(pacepupappre,[true,r,c,[[[widepvari,false]],[[pacepupappre,true]]]],REF).

:-recorda(pacepupappre,[false,r,c,[[[widepvari,true]],[[pacepupappre,false]]]],REF).
*/                    

:-recorda(recalcs,[true,r,c,[[[prrecala,true],[recala,true],[csrecalaa,true]],[[recalcs,true]]]],REF).

:-recorda(recalcs,[true,r,c,[[[prrecala,true],[recalb,true],[csrecalab,true]],[[recalcs,true]]]],REF).

:-recorda(recalcs,[true,r,c,[[[prrecala,true],[recalc,true],[csrecalac,true]],[[recalcs,true]]]],REF).

:-recorda(recalcs,[true,r,c,[[[prrecalb,true],[recala,true],[csrecalba,true]],[[recalcs,true]]]],REF).

:-recorda(recalcs,[true,r,c,[[[prrecalb,true],[recalb,true],[csrecalbb,true]],[[recalcs,true]]]],REF).

:-recorda(recalcs,[true,r,c,[[[prrecalb,true],[recalc,true],[csrecalbc,true]],[[recalcs,true]]]],REF).

:-recorda(recalcs,[true,r,c,[[[prrecalc,true],[recala,true],[csrecalca,true]],[[recalcs,true]]]],REF).

:-recorda(recalcs,[true,r,c,[[[prrecalc,true],[recalb,true],[csrecalcb,true]],[[recalcs,true]]]],REF).

:-recorda(recalcs,[true,r,c,[[[prrecalc,true],[recalc,true],[csrecalcc,true]],[[recalcs,true]]]],REF).

/*
:-recorda(csrecalaa,[true,r,c,[[[priorknow,true]],[[csrecalaa,true],[csrecalab,false],[csrecalba,false],[csrecalbb,false],[csrecalbc,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalab,[true,r,c,[[[priorknow,false]],[[csrecalab,true],[csrecalaa,false],[csrecalba,false],[csrecalbb,false],[csrecalbc,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalba,[true,r,c,[[[priorknow,true]],[[csrecalba,true],[csrecalaa,false],[csrecalab,false],[csrecalbb,false],[csrecalbc,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalbb,[true,r,c,[[[priorknow,true]],[[csrecalbb,true],[csrecalaa,false],[csrecalab,false],[csrecalba,false],[csrecalbc,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalbc,[true,r,c,[[[priorknow,false]],[[csrecalbc,true],[csrecalaa,false],[csrecalab,false],[csrecalba,false],[csrecalbb,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalcb,[true,r,c,[[[priorknow,true]],[[csrecalcb,true],[csrecalaa,false],[csrecalab,false],[csrecalba,false],[csrecalbb,false],[csrecalbc,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalcc,[true,r,c,[[[priorknow,false]],[[csrecalcc,true],[csrecalaa,false],[csrecalab,false],[csrecalba,false],[csrecalbb,false],[csrecalbc,false],[csrecalcb,false]]]],REF).
*/
:-recorda(csrecalaa,[true,r,c,[[[recall,true]],[[csrecalaa,true],[csrecalab,false],[csrecalba,false],[csrecalbb,false],[csrecalbc,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalab,[true,r,c,[[[recall,false]],[[csrecalab,true],[csrecalaa,false],[csrecalba,false],[csrecalbb,false],[csrecalbc,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalba,[true,r,c,[[[recall,true]],[[csrecalba,true],[csrecalaa,false],[csrecalab,false],[csrecalbb,false],[csrecalbc,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalbb,[true,r,c,[[[recall,true]],[[csrecalbb,true],[csrecalaa,false],[csrecalab,false],[csrecalba,false],[csrecalbc,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalbc,[true,r,c,[[[recall,false]],[[csrecalbc,true],[csrecalaa,false],[csrecalab,false],[csrecalba,false],[csrecalbb,false],[csrecalcb,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalcb,[true,r,c,[[[recall,true]],[[csrecalcb,true],[csrecalaa,false],[csrecalab,false],[csrecalba,false],[csrecalbb,false],[csrecalbc,false],[csrecalcc,false]]]],REF).

:-recorda(csrecalcc,[true,r,c,[[[recall,false]],[[csrecalcc,true],[csrecalaa,false],[csrecalab,false],[csrecalba,false],[csrecalbb,false],[csrecalbc,false],[csrecalcb,false]]]],REF).

/*
:-recorda(priorknow,[false,r,c,[[[timeelapsed,true]],[[priorknow,false]]]],REF).

:-recorda(priorknow,[true,r,c,[[[timeelapsed,false]],[[priorknow,true]]]],REF).

:-recorda(priorknow,[false,r,c,[[[inadeqrecall,true]],[[priorknow,false]]]],REF).

:-recorda(priorknow,[true,r,c,[[[inadeqrecall,false]],[[priorknow,true]]]],REF).

:-recorda(priorknow,[true,r,c,[[[prelimwork,true]],[[priorknow,true]]]],REF).

:-recorda(priorknow,[false,r,c,[[[prelimwork,false]],[[priorknow,false]]]],REF).
*/
:-recorda(recall,[false,r,c,[[[adeqrecall,false]],[[recall,false]]]],REF).

:-recorda(recall,[true,r,c,[[[adeqrecall,true]],[[recall,true]]]],REF).

/*
:-recorda(recalbc,[true,r,c,[[[compc,true]],[[recalbc,true]]]],REF).
*/

:-recorda(learncs,[true,r,c,[[[prlearna,true],[learna,true],[cslearnaa,true]],[[learncs,true]]]],REF).

:-recorda(learncs,[true,r,c,[[[prlearna,true],[learnb,true],[cslearnab,true]],[[learncs,true]]]],REF).

:-recorda(learncs,[true,r,c,[[[prlearnb,true],[learna,true],[cslearnba,true]],[[learncs,true]]]],REF).

:-recorda(learncs,[true,r,c,[[[prlearnb,true],[learnb,true],[cslearnbb,true]],[[learncs,true]]]],REF).

:-recorda(learncs,[true,r,c,[[[prlearnb,true],[learnc,true],[cslearnbc,true]],[[learncs,true]]]],REF).

:-recorda(learncs,[true,r,c,[[[prlearnc,true],[learnb,true],[cslearnbc,true]],[[learncs,true]]]],REF).

:-recorda(learncs,[true,r,c,[[[prlearnc,true],[learnc,true],[cslearncc,true]],[[learncs,true]]]],REF).


:-recorda(cslearnaa,[true,r,c,[[[cscompaa,true]],[[cslearnaa,true],[cslearnab,false],[cslearnba,false],[cslearnbb,false],[cslearnbc,false],[cslearncb,false],[cslearncc,false]]]],REF).

:-recorda(cslearnab,[true,r,c,[[[cscompab,true]],[[cslearnab,true],[cslearnaa,false],[cslearnba,false],[cslearnbb,false],[cslearnbc,false],[cslearncb,false],[cslearncc,false]]]],REF).

:-recorda(cslearnba,[true,r,c,[[[cscompba,true]],[[cslearnba,true],[cslearnaa,false],[cslearnab,false],[cslearnbb,false],[cslearnbc,false],[cslearncb,false],[cslearncc,false]]]],REF).

:-recorda(cslearnbb,[true,r,c,[[[cscompbb,true]],[[cslearnbb,true],[cslearnaa,false],[cslearnab,false],[cslearnba,false],[cslearnbc,false],[cslearncb,false],[cslearncc,false]]]],REF).

:-recorda(cslearnbc,[true,r,c,[[[cscompbc,true]],[[cslearnbc,true],[cslearnaa,false],[cslearnab,false],[cslearnba,false],[cslearnbb,false],[cslearncb,false],[cslearncc,false]]]],REF).

:-recorda(cslearncb,[true,r,c,[[[cscompcb,true]],[[cslearncb,true],[cslearnaa,false],[cslearnab,false],[cslearnba,false],[cslearnbb,false],[cslearnbc,false],[cslearncc,false]]]],REF).

:-recorda(cslearncc,[true,r,c,[[[cscompcc,true]],[[cslearncc,true],[cslearnaa,false],[cslearnab,false],[cslearnba,false],[cslearnbb,false],[cslearnbc,false],[cslearncb,false]]]],REF).   
