% Types
bot sub [cat, agr, person].
    cat sub [agreeable, s].
        agreeable sub [pn, v] intro [agr:agr].
    agr intro [person:person].
    person sub [first, second, third].

% Lexicon Definitions
i ---> (pn, agr:person:first).
you ---> (pn, agr:person:second).
he ---> (pn, agr:person:third).
she ---> (pn, agr:person:third).
sleep ---> (v, agr:person:first).
sleep ---> (v, agr:person:second).
sleeps ---> (v, agr:person:third).

% Rule Definitions
intransitive rule
s ===>
cat> (pn, agr:Agr),
cat> (v, agr:Agr).