NML is flexible, but that comes at the price that it is often possible to describe a network in different ways, often in
 more or less detail.

The shorter description can often be expanded to a longer description by using some logic.

Example 1:
    <Topology X> locatedAt <Location L>,
    <Topology X> hasTopology <Topology Y>
  implies: 
    <Topology Y> locatedAt <Location L>,

Example 2:
    <PortGroup PG> hasPort <Port P>
    <Port P> hasLabel <Label v>
    <PortGroup G> isSource <LinkGroup LG>
    <LinkGroup PG> hasLink <Link L>
    <Link L> hasLabel <Label v>
  implies:
    <Port P> isSource <Link L>

We need to define this logic in our document.