greed absolutely. 

The choices I make are:

o  classes and individuals map to constants
    note: remember that activities like giving are individuals
o  predication is used for set membership.
    note: in an extensional world you do not 
    need non-extensional classes
o  how one individual stands to another is modelled by 
    relation instances
    note: only binary relations are used. This is principally
    to minimise structural constraints where all places in a 
    relation must be filled, when s