The positive conclusion of this paper is that there are specific classes of concepts that are learnable in polynomial time using learning protocols of the kind described above.
Conjunctive normal form expressions with a bounded number of literals in each clause
Monotone disjunctive normal form from expressions
Arbitrary expressions in which each variable occurs just once