∂ part of node [[datalog]]