:: MARGREL1 semantic presentation
:: Showing IDV graph ... (Click the Palm Trees again to close it)
:: deftheorem Def1 defines relation-like MARGREL1:def 1 :
theorem :: MARGREL1:1
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:2
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:3
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:4
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:5
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:6
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:7
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:8
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
:: deftheorem defines = MARGREL1:def 2 :
theorem Th9: :: MARGREL1:9
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
:: deftheorem MARGREL1:def 3 :
canceled;
:: deftheorem defines the_arity_of MARGREL1:def 4 :
:: deftheorem defines relation_length MARGREL1:def 5 :
:: deftheorem defines relation MARGREL1:def 6 :
theorem :: MARGREL1:10
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:11
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:12
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:13
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:14
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:15
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:16
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:17
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:18
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:19
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem Th20: :: MARGREL1:20
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem Th21: :: MARGREL1:21
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
:: deftheorem defines relation MARGREL1:def 7 :
:: deftheorem Def8 defines relations_on MARGREL1:def 8 :
theorem :: MARGREL1:22
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:23
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:24
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:25
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:26
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:27
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:28
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
:: deftheorem Def9 defines = MARGREL1:def 9 :
:: deftheorem Def10 defines empty_rel MARGREL1:def 10 :
theorem :: MARGREL1:29
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:30
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:31
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:32
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
:: deftheorem defines the_arity_of MARGREL1:def 11 :
:: deftheorem defines BOOLEAN MARGREL1:def 12 :
:: deftheorem defines FALSE MARGREL1:def 13 :
:: deftheorem defines TRUE MARGREL1:def 14 :
theorem :: MARGREL1:33
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:34
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:35
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:36
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:37
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:38
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
:: deftheorem Def15 defines boolean MARGREL1:def 15 :
theorem Th39: :: MARGREL1:39
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
:: deftheorem Def16 defines 'not' MARGREL1:def 16 :
:: deftheorem Def17 defines '&' MARGREL1:def 17 :
theorem :: MARGREL1:40
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem Th41: :: MARGREL1:41
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:42
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:43
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:44
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem Th45: :: MARGREL1:45
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem Th46: :: MARGREL1:46
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:47
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:48
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
canceled;
theorem :: MARGREL1:49
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:50
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:51
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
theorem :: MARGREL1:52
:: Showing IDV graph ... (Click the Palm Tree again to close it) 
:: deftheorem Def18 defines ALL MARGREL1:def 18 :
theorem :: MARGREL1:53
:: Showing IDV graph ... (Click the Palm Tree again to close it) 