VariCellRepository: finalFMBitTorrentSites.fml

File finalFMBitTorrentSites.fml, 2.4 KB (added by taran, 6 years ago)
Line 
1FinalFM = FM(BitTorrent_sites: Bit_Torrent_Sites_Features ;
2Bit_Torrent_Sites_Features: (Sortable|Specialization|Oneclickdownload)+ (Public|Private|Specialization)+ (Trackeramalgamation|Legalonly)? (Public|Specialization|Oneclickdownload)+ (Legalonly|Comments)? (Directory|Sortable|Specialization|Legalonly)+ (Sortable|Isatracker|Specialization)+ [RSS] ;
3Sortable: (Notthetop100|Notworking|Notnewtorrents|Onlynewtorrents)? ;
4Specialization: (Othersites|Anime|Film|Linux|Norwegianstuff|Unlicensedanime|TV) ;
5Legalonly: [Unlicensedonly] ;
6(Notnewtorrents -> Isatracker);
7(Notthetop100 -> Oneclickdownload);
8(Othersites -> !Comments);
9(Public -> !Norwegianstuff);
10(Linux -> !Directory);
11(Notworking -> Comments);
12(Public -> !TV);
13(Notnewtorrents -> RSS);
14(TV -> Comments);
15(Film -> Oneclickdownload);
16(Anime -> Oneclickdownload);
17(Oneclickdownload -> !Onlynewtorrents);
18(Trackeramalgamation -> !Othersites);
19(Sortable -> !Film);
20(Private -> Directory);
21(Othersites -> !Public);
22(Notnewtorrents -> Trackeramalgamation);
23(Notnewtorrents -> !Directory);
24(Linux -> Oneclickdownload);
25(Film -> RSS);
26(TV -> Private);
27(Film -> Comments);
28(Anime -> Public);
29(Notthetop100 -> Directory);
30(Notthetop100 -> Comments);
31(Film -> Public);
32(Anime -> Directory);
33(Othersites -> !RSS);
34(Notnewtorrents -> Comments);
35(TV -> RSS);
36(Notworking -> Directory);
37(Anime -> RSS);
38(Notworking -> Oneclickdownload);
39(Othersites -> !Directory);
40(Linux -> Public);
41(Isatracker -> !Notworking);
42(Film -> Directory);
43(Film -> Trackeramalgamation);
44(Anime -> Isatracker);
45(Notthetop100 -> !Private);
46(Anime -> !Notthetop100);
47(Othersites -> !Oneclickdownload);
48(Private -> Sortable);
49(Legalonly -> !Private);
50(Isatracker -> !Othersites);
51(Linux -> Legalonly);
52(Private -> Isatracker);
53(Private -> Oneclickdownload);
54(Notthetop100 -> !Trackeramalgamation);
55(Linux -> RSS);
56(Notworking -> Trackeramalgamation);
57(Notthetop100 -> RSS);
58(Unlicensedonly <-> Unlicensedanime);
59(Unlicensedanime -> Directory);
60(Linux -> Isatracker);
61(Unlicensedanime <-> Onlynewtorrents);
62(Isatracker -> !Film);
63(Norwegianstuff -> Private);
64(Notthetop100 -> Isatracker);
65(Anime -> !Legalonly);
66(Norwegianstuff -> Comments);
67(Trackeramalgamation -> !TV);
68(Othersites -> !Legalonly);
69(Notworking -> !RSS);
70(Unlicensedonly -> RSS);
71(Notnewtorrents -> !Oneclickdownload);
72(Sortable -> !Linux);
73(Norwegianstuff -> RSS);
74(Isatracker -> !Unlicensedanime);
75(Anime -> !Private);
76(Onlynewtorrents -> Public);
77(Othersites -> !Sortable);)