wclause2_1( gail )=true ;wclause2_1( glen )=true ;wclause2_1( hanna )=true ;wclause2_1( ivy )=true ;wclause2_2( gail )=true ;wclause2_2( glen )=true ;wclause2_2( hanna )=true ;wclause2_2( ivy )=true ;wclause3_1( gail , gail )=true ;wclause3_1( gail , glen )=true ;wclause3_1( gail , hanna )=true ;wclause3_1( gail , ivy )=true ;wclause3_1( glen , gail )=true ;wclause3_1( glen , glen )=true ;wclause3_1( glen , hanna )=true ;wclause3_1( glen , ivy )=true ;wclause3_1( hanna , gail )=true ;wclause3_1( hanna , glen )=true ;wclause3_1( hanna , hanna )=true ;wclause3_1( hanna , ivy )=true ;wclause3_1( ivy , gail )=true ;wclause3_1( ivy , glen )=true ;wclause3_1( ivy , hanna )=true ;wclause3_1( ivy , ivy )=true ;wclause3_2( gail , gail )=true ;wclause3_2( gail , glen )=true ;wclause3_2( gail , hanna )=true ;wclause3_2( gail , ivy )=true ;wclause3_2( glen , gail )=true ;wclause3_2( glen , glen )=true ;wclause3_2( glen , hanna )=true ;wclause3_2( glen , ivy )=true ;wclause3_2( hanna , gail )=true ;wclause3_2( hanna , glen )=true ;wclause3_2( hanna , hanna )=true ;wclause3_2( hanna , ivy )=true ;wclause3_2( ivy , gail )=true ;wclause3_2( ivy , glen )=true ;wclause3_2( ivy , hanna )=true ;wclause3_2( ivy , ivy )=true ;wclause4_1( gail )=true ;wclause4_1( glen )=true ;wclause4_1( hanna )=true ;wclause4_1( ivy )=true ;wclause4_2( gail )=true ;wclause4_2( glen )=true ;wclause4_2( hanna )=true ;wclause4_2( ivy )=true ;wclause5_1( gail )=true ;wclause5_1( glen )=true ;wclause5_1( hanna )=true ;wclause5_1( ivy )=true ;wclause5_2( gail )=true ;wclause5_2( glen )=true ;wclause5_2( hanna )=true ;wclause5_2( ivy )=true ;wclause6(title1,gail,gail)=true;wclause6(title1,gail,glen)=true;wclause6(title1,gail,hanna)=true;wclause6(title1,gail,ivy)=true;wclause6(title1,glen,gail)=true;wclause6(title1,glen,glen)=true;wclause6(title1,glen,hanna)=true;wclause6(title1,glen,ivy)=true;wclause6(title1,hanna,gail)=true;wclause6(title1,hanna,glen)=true;wclause6(title1,hanna,hanna)=true;wclause6(title1,hanna,ivy)=true;wclause6(title1,ivy,gail)=true;wclause6(title1,ivy,glen)=true;wclause6(title1,ivy,hanna)=true;wclause6(title1,ivy,ivy)=true;wclause6(title2,gail,gail)=true;wclause6(title2,gail,glen)=true;wclause6(title2,gail,hanna)=true;wclause6(title2,gail,ivy)=true;wclause6(title2,glen,gail)=true;wclause6(title2,glen,glen)=true;wclause6(title2,glen,hanna)=true;wclause6(title2,glen,ivy)=true;wclause6(title2,hanna,gail)=true;wclause6(title2,hanna,glen)=true;wclause6(title2,hanna,hanna)=true;wclause6(title2,hanna,ivy)=true;wclause6(title2,ivy,gail)=true;wclause6(title2,ivy,glen)=true;wclause6(title2,ivy,hanna)=true;wclause6(title2,ivy,ivy)=true;wclause7_1( gail , gail )=true ;wclause7_1( gail , glen )=true ;wclause7_1( gail , hanna )=true ;wclause7_1( gail , ivy )=true ;wclause7_1( glen , gail )=true ;wclause7_1( glen , glen )=true ;wclause7_1( glen , hanna )=true ;wclause7_1( glen , ivy )=true ;wclause7_1( hanna , gail )=true ;wclause7_1( hanna , glen )=true ;wclause7_1( hanna , hanna )=true ;wclause7_1( hanna , ivy )=true ;wclause7_1( ivy , gail )=true ;wclause7_1( ivy , glen )=true ;wclause7_1( ivy , hanna )=true ;wclause7_1( ivy , ivy )=true ;wclause7_2( gail , gail )=true ;wclause7_2( gail , glen )=true ;wclause7_2( gail , hanna )=true ;wclause7_2( gail , ivy )=true ;wclause7_2( glen , gail )=true ;wclause7_2( glen , glen )=true ;wclause7_2( glen , hanna )=true ;wclause7_2( glen , ivy )=true ;wclause7_2( hanna , gail )=true ;wclause7_2( hanna , glen )=true ;wclause7_2( hanna , hanna )=true ;wclause7_2( hanna , ivy )=true ;wclause7_2( ivy , gail )=true ;wclause7_2( ivy , glen )=true ;wclause7_2( ivy , hanna )=true ;wclause7_2( ivy , ivy )=true ;wclause7_3( gail , gail )=true ;wclause7_3( gail , glen )=true ;wclause7_3( gail , hanna )=true ;wclause7_3( gail , ivy )=true ;wclause7_3( glen , gail )=true ;wclause7_3( glen , glen )=true ;wclause7_3( glen , hanna )=true ;wclause7_3( glen , ivy )=true ;wclause7_3( hanna , gail )=true ;wclause7_3( hanna , glen )=true ;wclause7_3( hanna , hanna )=true ;wclause7_3( hanna , ivy )=true ;wclause7_3( ivy , gail )=true ;wclause7_3( ivy , glen )=true ;wclause7_3( ivy , hanna )=true ;wclause7_3( ivy , ivy )=true ;wclause7_4( gail , gail )=true ;wclause7_4( gail , glen )=true ;wclause7_4( gail , hanna )=true ;wclause7_4( gail , ivy )=true ;wclause7_4( glen , gail )=true ;wclause7_4( glen , glen )=true ;wclause7_4( glen , hanna )=true ;wclause7_4( glen , ivy )=true ;wclause7_4( hanna , gail )=true ;wclause7_4( hanna , glen )=true ;wclause7_4( hanna , hanna )=true ;wclause7_4( hanna , ivy )=true ;wclause7_4( ivy , gail )=true ;wclause7_4( ivy , glen )=true ;wclause7_4( ivy , hanna )=true ;wclause7_4( ivy , ivy )=true ;wclause8_1(gail)=true;wclause8_1(glen)=true;wclause8_1(hanna)=true;wclause8_1(ivy)=true;wclause8_2(gail)=true;wclause8_2(glen)=true;wclause8_2(hanna)=true;wclause8_2(ivy)=true;wclause8_3(gail)=true;wclause8_3(glen)=true;wclause8_3(hanna)=true;wclause8_3(ivy)=true;wclause8_4(gail)=true;wclause8_4(glen)=true;wclause8_4(hanna)=true;wclause8_4(ivy)=true;wclause9(gail)=true;wclause9(glen)=true;wclause9(hanna)=true;wclause9(ivy)=true;wclause10(gail)=true;wclause10(glen)=true;wclause10(hanna)=true;wclause10(ivy)=true;wclause11( gail , gail )=true ;wclause11( gail , glen )=true ;wclause11( gail , hanna )=true ;wclause11( gail , ivy )=true ;wclause11( glen , gail )=true ;wclause11( glen , glen )=true ;wclause11( glen , hanna )=true ;wclause11( glen , ivy )=true ;wclause11( hanna , gail )=true ;wclause11( hanna , glen )=true ;wclause11( hanna , hanna )=true ;wclause11( hanna , ivy )=true ;wclause11( ivy , gail )=true ;wclause11( ivy , glen )=true ;wclause11( ivy , hanna )=true ;wclause11( ivy , ivy )=true ;wclause12(title1,gail)=true;wclause12(title1,glen)=true;wclause12(title1,hanna)=true;wclause12(title1,ivy)=true;wclause12(title2,gail)=true;wclause12(title2,glen)=true;wclause12(title2,hanna)=true;wclause12(title2,ivy)=true;wclause13(gail,pre_quals)=true;wclause13(glen,pre_quals)=true;wclause13(hanna,pre_quals)=true;wclause13(ivy,pre_quals)=true;wclause13(gail,post_quals)=true;wclause13(glen,post_quals)=true;wclause13(hanna,post_quals)=true;wclause13(ivy,post_quals)=true;wclause14(gail,faculty)=true;wclause14(glen,faculty)=true;wclause14(hanna,faculty)=true;wclause14(ivy,faculty)=true;wclause14(gail,faculty_emeritus)=true;wclause14(glen,faculty_emeritus)=true;wclause14(hanna,faculty_emeritus)=true;wclause14(ivy,faculty_emeritus)=true;