I refer the "expressiveness", I mean the ability thru syntac

I refer the "expressiveness", I mean the ability thru syntactical expression to:

 1) say anything desired and predict exactly how a reasoner will understand the new expression

Including:

 2) the ability to change the default sort ("Class") that unqualified foralls assume to be selecting from
 3) Subsumptive Partial Terms:  the reasoner/logic interprets subsumption to apply this partial expressions (especially "Class"es)
   3a) quantify over such partial terms
 4) Extend [dis]equality
 5) quantify over bags of axioms and other existing content: John McCarthy 1982(?) named "Microtheory"s
 6) Visibility between Microtheories

Next Inside each "Microtheory"

 7) When visibility may happen at all..
 8) How the Classes may change when one Microtheory sees into another
 9) create and destroy hypothetical Microtheories per single logical expression
 10) Ability to manipulate each proof by treating it as we do our "bag of assertions/axioms"
 11) Do 2-5 locally to each



FORT = first order reifiable terms