WIP: Fix semantic predicate