kim_1 := pn-lxm & [ ORTH , SEM [ RESTR ] ]. sandy_1 := pn-lxm & [ ORTH , SEM [ RESTR ] ]. esmé := pn-lxm & [ ORTH , SEM [ RESTR ] ]. sleeps_1 := iv-infl-3sg & [ ORTH , SEM [ RESTR ] ]. likes_1 := tv-infl-3sg & [ ORTH , SEM [ RESTR ] ].