package org.whole.lang.firstorderlogic.model; /** * @generator Whole */ public interface Predicate extends IFirstOrderLogicEntity { }