A non-entity bound condition is a proposition declared in the domain. The condition must appear as declared in the domain.
