basic clingo + more notes