carOwners: Sequence(TupleType(name:String, address:String,
                    licensePlate:String)) = 
  registeredPersons->collect(p:Person |
    owns->collect(c:Car | 
      Tuple{name = p.name, 
            address = p.address,
            licensePlate = c.licensePlate}))->asSequence()