Licensing AMRs with missing role names

[kovvalsky]

The AMRs with missing role names are accepted by Smatch and translated into triples.

(a0 / watch                               
      : (a1 / boy)                             
      :ARG1 (a2 / tv))

Triples by the smatch demo:
instance(a0,boy) ^ instance(a1,tv) ^ TOP(a0,boy) ^ ARG1(a0,a1)
This has several undesired consequences like licensing ill-formed AMRs that might get high scores.

[snowblink14]

Adding a validation module will probably solve this issue as well.