# NOT RUN {
FOUND()
situation=SITUATION(1)
(proposition=PROPOSITION(1, situation))
PREPARE(1, proposition, situation)
#result need not be different from simple proposition,
#depends on generalizations and typing scores
# }
Run the code above in your browser using DataLab