ject.action.1.19.source-code.monkey.query Maven / Gradle / Ivy
!(holds [!hasBananas && at(box,LBox) && at(bananas, LBanana) && !onBox && at(monkey,LBox)]) || necessarily [hasBananas] after {pushBox(LBanana),walk(LBanana)},{climbOn},{graspBananas} requires LBanana <> LBox