Some initial symbolic predicates.
Common child-container symbolic token functionality.