1:- module(nlkb7166,[
2 assertion_lifting_consequent/2,assertion_lifting/2,assertion_mt/2,
3 assertion_content/3,assertion_content/4,assertion_content/5,assertion_content/6,
4 assertion_content/7,assertion_content/8,assertion_content/9,assertion_content/10,
5 assertion_content/11,assertion_content/12,assertion_content/13]). 6
7
8:- public((assertion_content/3,assertion_content/4,assertion_content/5,assertion_content/6,assertion_content/7,assertion_content/8,assertion_content/9,assertion_content/10,assertion_content/11,assertion_content/12,assertion_content/13)). 9:- export((assertion_content/3,assertion_content/4,assertion_content/5,assertion_content/6,assertion_content/7,assertion_content/8,assertion_content/9,assertion_content/10,assertion_content/11,assertion_content/12,assertion_content/13)). 10:- multifile((assertion_content/3,assertion_content/4,assertion_content/5,assertion_content/6,assertion_content/7,assertion_content/8,assertion_content/9,assertion_content/10,assertion_content/11,assertion_content/12,assertion_content/13)). 11:- dynamic((assertion_content/3,assertion_content/4,assertion_content/5,assertion_content/6,assertion_content/7,assertion_content/8,assertion_content/9,assertion_content/10,assertion_content/11,assertion_content/12,assertion_content/13)). 12:- discontiguous((assertion_content/3,assertion_content/4,assertion_content/5,assertion_content/6,assertion_content/7,assertion_content/8,assertion_content/9,assertion_content/10,assertion_content/11,assertion_content/12,assertion_content/13)). 13
14:- public((assertion_lifting_consequent/2,assertion_lifting/2,assertion_mt/2)). 15:- export((assertion_lifting_consequent/2,assertion_lifting/2,assertion_mt/2)). 16:- multifile((assertion_lifting_consequent/2,assertion_lifting/2,assertion_mt/2)). 17:- dynamic((assertion_lifting_consequent/2,assertion_lifting/2,assertion_mt/2)). 18:- discontiguous((assertion_lifting_consequent/2,assertion_lifting/2,assertion_mt/2)). 19
20:- set_prolog_flag(double_quotes,string). 21:- style_check(-singleton). 22
23:-include('ac_xnl/ac_xnl_7166_part_000000.nldata'). 24:-include('ac_xnl/ac_xnl_7166_part_000100.nldata'). 25:-include('ac_xnl/ac_xnl_7166_part_000200.nldata'). 26:-include('ac_xnl/ac_xnl_7166_part_000300.nldata'). 27:-include('ac_xnl/ac_xnl_7166_part_000400.nldata'). 28:-include('ac_xnl/ac_xnl_7166_part_000500.nldata'). 29:-include('ac_xnl/ac_xnl_7166_part_000600.nldata'). 30:-include('ac_xnl/ac_xnl_7166_part_000700.nldata'). 31:-include('ac_xnl/ac_xnl_7166_part_000800.nldata'). 32:-include('ac_xnl/ac_xnl_7166_part_000900.nldata'). 33:-include('ac_xnl/ac_xnl_7166_part_001000.nldata'). 34:-include('ac_xnl/ac_xnl_7166_part_001100.nldata'). 35:-include('ac_xnl/ac_xnl_7166_part_001200.nldata'). 36:-include('ac_xnl/ac_xnl_7166_part_001300.nldata'). 37:-include('ac_xnl/ac_xnl_7166_part_001400.nldata'). 38:-include('ac_xnl/ac_xnl_7166_part_001500.nldata'). 39:-include('ac_xnl/ac_xnl_7166_part_001600.nldata'). 40:-include('ac_xnl/ac_xnl_7166_part_001700.nldata'). 41:-include('ac_xnl/ac_xnl_7166_part_001800.nldata'). 42:-include('ac_xnl/ac_xnl_7166_part_001900.nldata'). 43:-include('ac_xnl/ac_xnl_7166_part_002000.nldata'). 44:-include('ac_xnl/ac_xnl_7166_part_002100.nldata'). 45:-include('ac_xnl/ac_xnl_7166_part_002200.nldata'). 46:-include('ac_xnl/ac_xnl_7166_part_002300.nldata'). 47:-include('ac_xnl/ac_xnl_7166_part_002400.nldata'). 48:-include('ac_xnl/ac_xnl_7166_part_002500.nldata'). 49:-include('ac_xnl/ac_xnl_7166_part_002600.nldata'). 50:-include('ac_xnl/ac_xnl_7166_part_002700.nldata'). 51:-include('ac_xnl/ac_xnl_7166_part_002800.nldata'). 52:-include('ac_xnl/ac_xnl_7166_part_002900.nldata'). 53:-include('ac_xnl/ac_xnl_7166_part_003000.nldata'). 54:-include('ac_xnl/ac_xnl_7166_part_003100.nldata'). 55:-include('ac_xnl/ac_xnl_7166_part_003200.nldata'). 56:-include('ac_xnl/ac_xnl_7166_part_003300.nldata'). 57:-include('ac_xnl/ac_xnl_7166_part_003400.nldata'). 58:-include('ac_xnl/ac_xnl_7166_part_003500.nldata'). 59:-include('ac_xnl/ac_xnl_7166_part_003600.nldata'). 60:-include('ac_xnl/ac_xnl_7166_part_003700.nldata'). 61:-include('ac_xnl/ac_xnl_7166_part_003800.nldata'). 62:-include('ac_xnl/ac_xnl_7166_part_003900.nldata'). 63:-include('ac_xnl/ac_xnl_7166_part_004000.nldata'). 64:-include('ac_xnl/ac_xnl_7166_part_004100.nldata'). 65:-include('ac_xnl/ac_xnl_7166_part_004200.nldata'). 66:-include('ac_xnl/ac_xnl_7166_part_004300.nldata'). 67:-include('ac_xnl/ac_xnl_7166_part_004400.nldata'). 68:-include('ac_xnl/ac_xnl_7166_part_004500.nldata'). 69:-include('ac_xnl/ac_xnl_7166_part_004600.nldata'). 70:-include('ac_xnl/ac_xnl_7166_part_004700.nldata'). 71:-include('ac_xnl/ac_xnl_7166_part_004800.nldata'). 72:-include('ac_xnl/ac_xnl_7166_part_004900.nldata'). 73:-include('ac_xnl/ac_xnl_7166_part_005000.nldata'). 74:-include('ac_xnl/ac_xnl_7166_part_005100.nldata'). 75:-include('ac_xnl/ac_xnl_7166_part_005200.nldata'). 76:-include('ac_xnl/ac_xnl_7166_part_005300.nldata'). 77:-include('ac_xnl/ac_xnl_7166_part_005400.nldata'). 78:-include('ac_xnl/ac_xnl_7166_part_005500.nldata'). 79:-include('ac_xnl/ac_xnl_7166_part_005600.nldata'). 80:-include('ac_xnl/ac_xnl_7166_part_005700.nldata'). 81:-include('ac_xnl/ac_xnl_7166_part_005800.nldata'). 82:-include('ac_xnl/ac_xnl_7166_part_005900.nldata'). 83:-include('ac_xnl/ac_xnl_7166_part_006000.nldata'). 84:-include('ac_xnl/ac_xnl_7166_part_006100.nldata'). 85:-include('ac_xnl/ac_xnl_7166_part_006200.nldata'). 86:-include('ac_xnl/ac_xnl_7166_part_006300.nldata'). 87:-include('ac_xnl/ac_xnl_7166_part_006400.nldata'). 88:-include('ac_xnl/ac_xnl_7166_part_006500.nldata'). 89:-include('ac_xnl/ac_xnl_7166_part_006600.nldata'). 90:-include('ac_xnl/ac_xnl_7166_part_006700.nldata'). 91:-include('ac_xnl/ac_xnl_7166_part_006800.nldata'). 92:-include('ac_xnl/ac_xnl_7166_part_006900.nldata'). 93:-include('ac_xnl/ac_xnl_7166_part_007000.nldata'). 94:-include('ac_xnl/ac_xnl_7166_part_007100.nldata'). 95:-include('ac_xnl/ac_xnl_7166_part_007200.nldata'). 96:-include('ac_xnl/ac_xnl_7166_part_007300.nldata'). 97:-include('ac_xnl/ac_xnl_7166_part_007400.nldata'). 98:-include('ac_xnl/ac_xnl_7166_part_007500.nldata'). 99:-include('ac_xnl/ac_xnl_7166_part_007600.nldata'). 100:-include('ac_xnl/ac_xnl_7166_part_007700.nldata'). 101:-include('ac_xnl/ac_xnl_7166_part_007800.nldata'). 102:-include('ac_xnl/ac_xnl_7166_part_007900.nldata'). 103:-include('ac_xnl/ac_xnl_7166_part_008000.nldata'). 104:-include('ac_xnl/ac_xnl_7166_part_008100.nldata'). 105:-include('ac_xnl/ac_xnl_7166_part_008200.nldata'). 106:-include('ac_xnl/ac_xnl_7166_part_008300.nldata'). 107:-include('ac_xnl/ac_xnl_7166_part_008400.nldata'). 108:-include('ac_xnl/ac_xnl_7166_part_008500.nldata'). 109:-include('ac_xnl/ac_xnl_7166_part_008600.nldata'). 110:-include('ac_xnl/ac_xnl_7166_part_008700.nldata'). 111:-include('ac_xnl/ac_xnl_7166_part_008800.nldata'). 112:-include('ac_xnl/ac_xnl_7166_part_008900.nldata'). 113:-include('ac_xnl/ac_xnl_7166_part_009000.nldata'). 114:-include('ac_xnl/ac_xnl_7166_part_009100.nldata'). 115:-include('ac_xnl/ac_xnl_7166_part_009200.nldata'). 116:-include('ac_xnl/ac_xnl_7166_part_009300.nldata'). 117:-include('ac_xnl/ac_xnl_7166_part_009400.nldata'). 118:-include('ac_xnl/ac_xnl_7166_part_009500.nldata'). 119:-include('ac_xnl/ac_xnl_7166_part_009600.nldata'). 120:-include('ac_xnl/ac_xnl_7166_part_009700.nldata'). 121:-include('ac_xnl/ac_xnl_7166_part_009800.nldata'). 122:-include('ac_xnl/ac_xnl_7166_part_009900.nldata'). 123:-include('ac_xnl/ac_xnl_7166_part_010000.nldata'). 124:-include('ac_xnl/ac_xnl_7166_part_010100.nldata'). 125:-include('ac_xnl/ac_xnl_7166_part_010200.nldata'). 126:-include('ac_xnl/ac_xnl_7166_part_010300.nldata'). 127:-include('ac_xnl/ac_xnl_7166_part_010400.nldata'). 128:-include('ac_xnl/ac_xnl_7166_part_010500.nldata'). 129:-include('ac_xnl/ac_xnl_7166_part_010600.nldata'). 130:-include('ac_xnl/ac_xnl_7166_part_010700.nldata'). 131:-include('ac_xnl/ac_xnl_7166_part_010800.nldata'). 132:-include('ac_xnl/ac_xnl_7166_part_010900.nldata'). 133:-include('ac_xnl/ac_xnl_7166_part_011000.nldata'). 134:-include('ac_xnl/ac_xnl_7166_part_011100.nldata'). 135:-include('ac_xnl/ac_xnl_7166_part_011200.nldata'). 136:-include('ac_xnl/ac_xnl_7166_part_011300.nldata'). 137:-include('ac_xnl/ac_xnl_7166_part_011400.nldata'). 138:-include('ac_xnl/ac_xnl_7166_part_011500.nldata'). 139:-include('ac_xnl/ac_xnl_7166_part_011600.nldata'). 140:-include('ac_xnl/ac_xnl_7166_part_011700.nldata'). 141:-include('ac_xnl/ac_xnl_7166_part_011800.nldata'). 142:-include('ac_xnl/ac_xnl_7166_part_011900.nldata'). 143:-include('ac_xnl/ac_xnl_7166_part_012000.nldata'). 144:-include('ac_xnl/ac_xnl_7166_part_012100.nldata'). 145:-include('ac_xnl/ac_xnl_7166_part_012200.nldata'). 146:-include('ac_xnl/ac_xnl_7166_part_012300.nldata'). 147:-include('ac_xnl/ac_xnl_7166_part_012400.nldata'). 148:-include('ac_xnl/ac_xnl_7166_part_012500.nldata'). 149:-include('ac_xnl/ac_xnl_7166_part_012600.nldata'). 150:-include('ac_xnl/ac_xnl_7166_part_012700.nldata'). 151:-include('ac_xnl/ac_xnl_7166_part_012800.nldata'). 152:-include('ac_xnl/ac_xnl_7166_part_012900.nldata'). 153:-include('ac_xnl/ac_xnl_7166_part_013000.nldata'). 154:-include('ac_xnl/ac_xnl_7166_part_013100.nldata'). 155:-include('ac_xnl/ac_xnl_7166_part_013200.nldata'). 156:-include('ac_xnl/ac_xnl_7166_part_013300.nldata'). 157:-include('ac_xnl/ac_xnl_7166_part_013400.nldata'). 158:-include('ac_xnl/ac_xnl_7166_part_013500.nldata'). 159:-include('ac_xnl/ac_xnl_7166_part_013600.nldata'). 160:-include('ac_xnl/ac_xnl_7166_part_013700.nldata'). 161:-include('ac_xnl/ac_xnl_7166_part_013800.nldata'). 162:-include('ac_xnl/ac_xnl_7166_part_013900.nldata'). 163:-include('ac_xnl/ac_xnl_7166_part_014000.nldata'). 164:-include('ac_xnl/ac_xnl_7166_part_014100.nldata'). 165:-include('ac_xnl/ac_xnl_7166_part_014200.nldata'). 166:-include('ac_xnl/ac_xnl_7166_part_014300.nldata'). 167:-include('ac_xnl/ac_xnl_7166_part_014400.nldata'). 168:-include('ac_xnl/ac_xnl_7166_part_014500.nldata'). 169:-include('ac_xnl/ac_xnl_7166_part_014600.nldata'). 170:-include('ac_xnl/ac_xnl_7166_part_014700.nldata'). 171:-include('ac_xnl/ac_xnl_7166_part_014800.nldata'). 172:-include('ac_xnl/ac_xnl_7166_part_014900.nldata'). 173:-include('ac_xnl/ac_xnl_7166_part_015000.nldata'). 174:-include('ac_xnl/ac_xnl_7166_part_015100.nldata'). 175:-include('ac_xnl/ac_xnl_7166_part_015200.nldata'). 176:-include('ac_xnl/ac_xnl_7166_part_015300.nldata'). 177:-include('ac_xnl/ac_xnl_7166_part_015400.nldata'). 178:-include('ac_xnl/ac_xnl_7166_part_015500.nldata'). 179:-include('ac_xnl/ac_xnl_7166_part_015600.nldata'). 180:-include('ac_xnl/ac_xnl_7166_part_015700.nldata'). 181:-include('ac_xnl/ac_xnl_7166_part_015800.nldata'). 182:-include('ac_xnl/ac_xnl_7166_part_015900.nldata'). 183:-include('ac_xnl/ac_xnl_7166_part_016000.nldata'). 184:-include('ac_xnl/ac_xnl_7166_part_016100.nldata'). 185:-include('ac_xnl/ac_xnl_7166_part_016200.nldata'). 186:-include('ac_xnl/ac_xnl_7166_part_016300.nldata'). 187:-include('ac_xnl/ac_xnl_7166_part_016400.nldata'). 188:-include('ac_xnl/ac_xnl_7166_part_016500.nldata'). 189
190