# Replay with:
# ting-reasoner --demo eligibility --script examples/console_session.txt

schemas
rules
declare applicant {"name":"Ada","age":36,"annual_income":72000}
run
facts
conclusions
trace 20
ir
quit
