:- module(c1, [p1/1]).

:- reexport(library(cohesive)).

:- cohesive_pred p1/1.