SemiRfc

TODO: define current SEM-I specs

Proposal based on discussion at the Abbey on 2013-08-28

Woodley argues that the SEM-I should encode the hierarchy of predicates. This will allow a tool to calculate MRS subsumption with only the SEM-I and the MRSs (i.e. without having to parse the grammar). E.g. currently we have:

def_q_rel : ARG0 x, BODY h, RSTR h.

And we'd like something like:

def_q_rel (def_udef_a_q_rel) : ARG0 x, BODY h, RSTR h.

There is also talk of linking preds that differ by sense (e.g. number of arguments, like "he ate" vs "he ate a banana"), or mass/count distinctions ("every paper" vs "all the paper"). This is not trying to recreate something like WordNet.