Open MaxGavr opened 7 years ago
Internal sentences is a 4 level of SCs.
x -> y: z; u; t: p;;
- appears on level 7
So you can't use it in internal sentences. So use:
<- pair_set;;
-> ...
(*
<- oriented_set;;
-> rrel_1: 2;;
-> rrel_2: 2;;
-> rrel_3: 1;;
*);;
Code block: In line 28: "SyntaxError: Expected ";;" but "(" found." It seems to be that problem is in single connector followed be several different rrels, separated by ";". This issue is similar to #11. Using extension v. 0.3.1
concept_boolean_algebra_of_sets.txt