8Equivalent to the notion of messages (Reiter and Dale, 2000), pages 61–63. This atomic level operators are similar to my communicative predicates, albeit they do not contain any constraints beyond checking whether there is data avaible for instantiation.