Definition:Occurrence (Predicate Logic)