Symbol: free_predicate