2
eval (NOT TRUE)
TA_Result false
2
eval (ANDALSO(LESS(NUM 10, NUM 5), LESS(PLUS (NUM 4, NUM 5) , MINUS (NUM 50, NUM 1))))
TA_Result false
2
eval (NOT (ANDALSO (LESS (NUM 0, NUM 0), TRUE)))
TA_Result true
2
eval (IMPLY(LESS (NUM 0, NUM 1), ANDALSO(LESS (NUM 0, NUM 0), NOT TRUE)))
TA_Result false
2
eval (IMPLY(LESS (NUM 1, NUM 0), ORELSE(ANDALSO(TRUE, FALSE), ORELSE(NOT TRUE, LESS(NUM 1, NUM 2)))))
TA_Result true