For a license agreement, the provisionItem is replaced
by the LAItem that is a provision of a license agreement.
Due to limited space, the definition of LAItem and other
concepts are given using the Backus-Naur form (BNF). As
these definitions are transferred into OWL/RDF, anything
in italic is an XML data type that needs no further defining,
and is the object in the ontology tuple; any phrase beginning
with a lower case letter generally is treated as the property
in the tuple, while those quoted in angle brackets will be
subjects and objects.