-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlaba3.scs
86 lines (77 loc) · 2.6 KB
/
laba3.scs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
lab3=[*
sc_node_not_relation->aquarium;;
sc_node_not_relation->aquarium_fish;;
sc_node_not_relation->reservoir;;
sc_node_not_relation->ecosystem;;
sc_node_not_relation->chordate_type;;
sc_node_not_relation->animal_kingdom;;
sc_node_norole_relation->nrel_universality;;
sc_node_norole_relation->nrel_equivalence;;
sc_node_norole_relation->nrel_implication;;
sc_node_norole_relation->nrel_conjunction;;
sc_node_role_relation->rrel_linked_variables;;
sc_node_role_relation->rrel_first;;
sc_node_role_relation->rrel_second;;
sc_node_role_relation->rrel_if;;
sc_node_role_relation->rrel_then;;
nrel_universality -> ...
(*
-> rrel_linked_variables: ...
(*
<- _x;;
*);;
-> ...
(*
<- nrel_equivalence;;
-> ...
(*
<- aquarium(* _-> _x;;*);;
<- _x;;
*);;
-> ...
(*
<- nrel_conjunction;;
-> rrel_first: ...
(*
<- reservoir(* _-> _x;;*);;
<- x;;
*);;
-> rrel_second: ...
(*
<- ecosystem(* _-> _x;;*);;
<- _x;;
*);;
*);;
*);;
*);;
nrel_universality -> ...
(*
-> rrel_linked_variables: ...
(*
<- _x_1; _x_2;;
*);;
-> ...
(*
<- nrel_implication;;
-> rrel_if:...
(*
<- aquarium_fish(* _-> _x_1; _x_2;;*);;
<- _x_1; _x_2;;
*);;
-> rrel_then:...
(*
<- nrel_conjunction;;
-> rrel_first: ...
(*
<- chordate_type(* _->_x_1;_x_2;;*);;
<- _x_1;_x_2;;
*);;
-> nrel_second: ...
(*
<- animal_kingdom(*_->_x_1;_x_2;;*);;
<- _x_1;_x_2;;
*);;
*);;
*);;
*);;
*];;