Hi, If a rule has parameter but syntactic predicates do not allow passing argument to the rule, the only way to use syntactic predicate is to rewrite the rule to make it having no parameter? Rice