# #以降，改行までコメントと見なす．

P1 (1 2 3 4)
P2 (1 2 3 4)
P3 (1 2 3 4)
P4 (1 2 3 4)
P5 (1 2 3 4)
P6 (1 2 3 4)
P7 (1 2 3 4)
P8 (1 2 3 4)
P9 (1 2 3 4)
P10 (1 2 3 4)

# グループ化→3網羅以上のため
# {OS メモリ Disk}  {メモリ Disk CPU}

# 制約(禁則)を列挙

(and
 (< [P1] [P2]) (> [P3] [P4]) (<= [P5] [P6]) (>= [P7] [P8]) 
 (=== [P9] 2.0) (!== [P10] 3.0) 
)

# 単項演算子：not
# ２項演算子：==，<>, if
# ３項演算子：ite (if-then-elseの意味)
# 多項演算子：or, and 

# 比較演算子（因子の値に対する演算．結果はブール値）
# ==, <> 

#　算術演算子 (double型に変換)
# ===, !==, <, >, <=, >=

