precondition

• Tucson
• quantifiers
• difference
• Roderick
• station