Define the
tense of the highlighted Predicate.
Just how to run this program depends on the system
you are using.