clproverpp-1.0.3


  • a modality [list] where list is a (possibly empty) list of agents (positive