module Logica::Predicates::Compounds