4.6.3 Term Input

• ref-iou-tin-trm: Reading Terms: The "Read" Predicates
• ref-iou-tin-cpr: Changing the Prompt

Term input operations include:

• reading a term and
• changing the prompt that appears while reading.