apriori symbolic ok