Did you know ... Search Documentation:
Pack aleph -- prolog/examples/gcws_in.txt

normal(A).