Did you know? you can turn terms into graphviz (.dot) filesSearch Documentation:
Carnival in the NetherlandsPredicate forall/2