VariCellRepository: finalFM_eBookReadersNonElectronicPaperDisplay.fml

File finalFM_eBookReadersNonElectronicPaperDisplay.fml, 6.6 KB (added by taran, 5 years ago)
Line 
1FinalFM = FM(EBook_Readers: EBook_Readers_Non_Electronic_Paper_Displays ;
2EBook_Readers_Non_Electronic_Paper_Displays: (Webbrowser|Internalstorage)+ (Screenshades|Librarycompatible|Touchscreen)+ (Cardreaderslot|Wirelessnetwork)+ Screentype [Integrateddictionary] [Replaceablebattery] Screenpixels Hoursreading Maker Screensizeinch Introyear [Operatingsystem] [Texttospeech] Weight [Directoryorganization] [USBperipherals] ;
3Cardreaderslot: (MicroSD|SD|SDviacameraconnectionkit|MicroSDHC|SDHC) ;
4Screentype: (LCDIPS|PixelQi|LCD|LED|TFTLCD) ;
5Integrateddictionary: [IBookssystemwidedictionarywithiOS5] ;
6Librarycompatible: [USonly] ;
7Screenpixels: (X480x640|X800480|X480x800|X600800|X480800|X1024x600|X1024600|X480640|X1024x768) ;
8Hoursreading: (X10|X9|X8|X20|X24|X15) ;
9Maker: (Aluratek|Ectaco|NotionInk|PocketBook|Zzbook|Amazon_com|AppleInc_|Elonex|BarnesNoble|TrekStor) ;
10Screensizeinch: (X9_7|X5|X7|X10_1) ;
11Introyear: (X2010|X2011|X2008|X2009) ;
12Operatingsystem: (Android|IOS|Android2_3|Android1_5|MicroC_OSII|Linux|Android2_2|LinuxXwindows|Android2_0)? ;
13Texttospeech: [ForBNKidsBooks] ;
14Internalstorage: (X1GBDDR2RAM|X2GB|X256MB|X4GB|X1GB|X112MB|X1664GB|X8GB|X512MB) ;
15Screenshades: (X256|X16|X262Kcolor|X16greyscale|X16M|X24bitcolor)? ;
16Weight: (X245g|X613g|X601g|X199g|X413g|X212g|X300g|X450g|X516g|X190g|X275g|X725g|X170g) ;
17Wirelessnetwork: (WiFi802_11b_g_n|WiFi|X3G) ;
18(X2009 -> !TrekStor);
19(BarnesNoble <-> Android2_2);
20(X256MB <-> X2009);
21(Replaceablebattery -> !X613g);
22(X1024600 -> !X190g);
23(X24bitcolor -> Touchscreen);
24(X2GB -> !X16greyscale);
25(LinuxXwindows -> !X1024600);
26(X1GB -> !X2011);
27(X1024x600 -> !MicroSDHC);
28(USonly -> !X2010);
29(X2009 -> !X600800);
30(X2008 <-> X112MB);
31(Webbrowser -> !X275g);
32(X8GB <-> X413g);
33(X480x800 -> !X2009);
34(X24bitcolor -> Internalstorage);
35(X20 -> !X413g);
36(X199g -> !Replaceablebattery);
37(X9_7 <-> SDviacameraconnectionkit);
38(Android1_5 <-> X199g);
39(X600800 -> !USBperipherals);
40(PocketBook -> !MicroSDHC);
41(Webbrowser -> !MicroC_OSII);
42(Webbrowser -> !X190g);
43(MicroC_OSII -> LCD);
44(X480x800 -> !X16);
45(WiFi -> !X275g);
46(X1024600 -> Touchscreen);
47(MicroSDHC -> !Android1_5);
48(X170g -> !X8);
49(Android2_0 -> !X4GB);
50(X600800 <-> X262Kcolor);
51(X2011 -> !SD);
52(X190g -> !Wirelessnetwork);
53(X9 -> !X480x640);
54(X1GB -> !TFTLCD);
55(X1024600 -> Texttospeech);
56(Linux -> !SD);
57(X1024600 -> !X24bitcolor);
58(Linux -> !MicroSDHC);
59(X613g -> !LCD);
60(X170g -> !X2010);
61(X24 -> !X413g);
62(Webbrowser -> !X256MB);
63(Ectaco <-> X2008);
64(LinuxXwindows -> !X8);
65(WiFi -> !X480x640);
66(X480x800 -> !X10);
67(X16M -> !X2011);
68(LinuxXwindows -> !MicroSDHC);
69(X262Kcolor <-> PocketBook);
70(X256MB -> !X601g);
71(X800480 -> !Aluratek);
72(USBperipherals -> !MicroC_OSII);
73(X3G -> !X1024x600);
74(X245g -> !MicroSDHC);
75(TrekStor -> !SD);
76(MicroSD -> !MicroC_OSII);
77(X24 -> !X112MB);
78(X16M -> !X256MB);
79(X1024600 -> !X300g);
80(WiFi802_11b_g_n -> !Replaceablebattery);
81(ForBNKidsBooks <-> X16M);
82(X1GB -> !X613g);
83(X1GB -> !MicroSD);
84(WiFi -> !X256MB);
85(X20 -> !Replaceablebattery);
86(X4GB -> !ForBNKidsBooks);
87(X16 -> !Aluratek);
88(X1GB -> !Android1_5);
89(X2010 -> !X16greyscale);
90(X450g -> !MicroSD);
91(X2GB -> Cardreaderslot);
92(LCDIPS -> X24bitcolor);
93(X3G -> Touchscreen);
94(X2GB -> !X190g);
95(X480640 -> !Replaceablebattery);
96(Webbrowser -> !X480800);
97(X16 -> !X275g);
98(X2010 -> Cardreaderslot);
99(TFTLCD <-> X300g);
100(MicroSD -> !X480800);
101(Replaceablebattery -> !TrekStor);
102(X512MB -> !USBperipherals);
103(X512MB <-> X480640);
104(X9 -> !SDHC);
105(X300g -> !X24bitcolor);
106(X1024600 -> !Aluratek);
107(Touchscreen -> !X275g);
108(X24 -> !X512MB);
109(USonly <-> Android2_3);
110(LinuxXwindows -> !SDHC);
111(X20 -> !X190g);
112(X3G -> !LCD);
113(MicroSDHC -> X8);
114(Replaceablebattery -> Cardreaderslot);
115(X20 -> !Webbrowser);
116(X2009 -> !Android1_5);
117(X480x800 -> X7);
118(X24 -> !Replaceablebattery);
119(Linux <-> X16);
120(X2GB -> !Android1_5);
121(Wirelessnetwork -> !SD);
122(X8 -> X7);
123(Android2_2 <-> X450g);
124(Elonex <-> X480800);
125(X245g -> !Wirelessnetwork);
126(X5 -> Internalstorage);
127(Cardreaderslot -> !X1024x600);
128(X4GB -> Cardreaderslot);
129(X800480 -> !BarnesNoble);
130(X16M <-> WiFi802_11b_g_n);
131(X2010 -> !X725g);
132(X5 -> LCD);
133(Webbrowser -> !X512MB);
134(SD <-> X24);
135(USBperipherals -> Cardreaderslot);
136(X450g <-> ForBNKidsBooks);
137(X480x800 -> !USBperipherals);
138(X3G -> X2011);
139(X1024x768 <-> IOS);
140(TrekStor -> !X480x640);
141(SDHC -> Directoryorganization);
142(X5 -> !X600800);
143(Elonex -> !X2GB);
144(IBookssystemwidedictionarywithiOS5 <-> X1664GB);
145(X24bitcolor -> !X15);
146(X2011 -> !X601g);
147(Aluratek -> Internalstorage);
148(Touchscreen -> Webbrowser);
149(X24 -> !Webbrowser);
150(X725g <-> X15);
151(TrekStor -> !SDHC);
152(X1GB -> !X516g);
153(MicroSD -> Internalstorage);
154(AppleInc_ <-> X9_7);
155(X10 <-> X613g);
156(X601g -> !MicroSD);
157(X245g -> MicroC_OSII);
158(WiFi802_11b_g_n -> !X5);
159(SDHC -> Internalstorage);
160(SD -> !X256);
161(Elonex -> !X1GB);
162(X1024x600 <-> Amazon_com);
163(WiFi -> Internalstorage);
164(USBperipherals -> !X480x640);
165(X2009 -> !MicroSDHC);
166(X1GB -> !Replaceablebattery);
167(Touchscreen -> !Zzbook);
168(X480800 <-> LED);
169(X24bitcolor -> !SDHC);
170(X480x640 -> X5);
171(Android2_0 -> !MicroSD);
172(X245g -> X2010);
173(X2008 -> !MicroSDHC);
174(LCDIPS -> !X601g);
175(Zzbook -> !X2011);
176(X2010 -> !TrekStor);
177(X4GB -> X8);
178(X199g -> !X24bitcolor);
179(X480x800 -> !X1GB);
180(Replaceablebattery -> Internalstorage);
181(X20 -> X5);
182(X601g <-> X9);
183(X199g -> !X800480);
184(X190g -> Cardreaderslot);
185(X275g <-> TrekStor);
186(X170g <-> X512MB);
187(X480x640 -> !MicroSD);
188(IOS <-> IBookssystemwidedictionarywithiOS5);
189(NotionInk <-> X1GBDDR2RAM);
190(X262Kcolor -> !X24);
191(Android1_5 -> !SDHC);
192(LCDIPS -> X2011);
193(Android2_3 <-> X8GB);
194(Replaceablebattery -> !X601g);
195(TFTLCD -> !MicroSDHC);
196(X1GB -> !SDHC);
197(MicroC_OSII -> X2GB);
198(X256 <-> Elonex);
199(X10 -> !MicroSD);
200(X480640 -> !MicroSDHC);
201(X10_1 <-> NotionInk);
202(X1664GB <-> AppleInc_);
203(X800480 -> X2GB);
204(LinuxXwindows <-> X16greyscale);
205(Texttospeech -> Cardreaderslot);
206(Android1_5 -> !SD);
207(X2010 -> !Android1_5);
208(X1024600 -> !X9);
209(X245g -> X480x800);
210(X212g <-> Ectaco);
211(MicroSDHC -> !Aluratek);
212(X480x800 -> Aluratek);
213(LinuxXwindows -> !X112MB);
214(X2011 -> Internalstorage);
215(X613g -> !Linux);
216(X800480 -> !Wirelessnetwork);
217(USBperipherals -> !X275g);
218(X1GBDDR2RAM <-> Android);
219(X2GB -> X7);
220(X516g <-> Android2_0);
221(X480640 -> !X16);
222(Android1_5 -> !LED);
223(SDHC -> LCD);
224(X413g <-> X1024x600);
225(X199g -> !X480x640);
226(TrekStor -> !MicroSD);
227(PixelQi <-> X725g);
228(Elonex -> !USBperipherals);
229(Android <-> PixelQi);
230(X2011 -> !X600800);
231(X800480 -> X8);
232(Aluratek -> LCD);
233(X190g -> Internalstorage);
234(Android2_0 <-> X600800);
235(LinuxXwindows -> !X275g);
236(X170g -> !SDHC);
237(X190g -> !MicroSD);
238(X613g -> !SDHC);
239(LCD -> Cardreaderslot);
240(Aluratek -> !SDHC);
241(Webbrowser -> !Ectaco);
242(X2011 -> !LED);
243(X16M -> !SDHC);
244(X1GB -> !X190g);
245(X300g <-> Zzbook);
246(USonly -> !MicroSD);)