updates on the license view definition

* modified predicate to be consistent with the SWJ submission