* Thursday, 2011-09-22 at 20:45 -0400 - Martin Bays <mbays@sdf.org>:
> Alternatively, how about having {pi ro} quantify over subkinds, such
> that {lo smoka cu cmamau pi ro lo taxfu poi na'e smoka klesi} works?
Err no, obviously {pi ro} shouldn't work like that. Please ignore that.
But {pi su'o} could reasonably *existentially* quantify over subkinds.
For universal... why not {ro pi}, actually?
Attachment:
pgp56_Zse45FJ.pgp
Description: PGP signature