如何在dslr规则中使用not（）？

Question

我想表达类似的规则

rule "R"
when
    a: A()
    c: C(a.timestamp<timestamp)

    not(B(a.timestamp<timestamp && timestamp<c.timestamp))
then
    // error no B between A and C
end

但是使用DSL

我如何表达not？

rule "R"
when
    there is an A a
    there is a C c
      - with timestamp greater than a.timestamp

    there is NOT a B
      - with id between a.timestamp and b.timestamp
then
    // error no B between A and C
end

[condition][]there is an A {a}={a}: A()
[condition][]there is a C {c}={c}: C()
[condition][]there is NOT a B=not(B())
[condition][]- with timestamp greater than {timestamp}=timestamp > {timestamp}
[condition][]- with timestamp between {lower} and {upper}={lower}<timestamp && timestamp<{upper}

Answer 1

rdslr

rule "R"
when
    There is an A
    There is a C
      - with timestamp greater than $A.timestamp
    There is a B
      - not with timestamp between $A.timestamp and $C.timestamp
then
    // error no B between A and C
end