Table 2:
S&K structures in domains involving interesting generalization, where the combinator structures allow deduction beyond the base facts.
|  | 
S&K structures in domains involving interesting generalization, where the combinator structures allow deduction beyond the base facts.
|  |