:- dynamic fact/1.

fact(acceptedPaper(lucas,isabellePaperPs,cade,0125)).
fact(acceptedPaper(lucas,isabellePaperPdf,cade,0125)).


class(isabellePaperDvi,paperDvi).
class(isabellePaperPs,paperPs).
class(isabellePaperPdf,paperPdf).