maps, ontologies and queries are first-class objects in AsTMa?

let $m as map      := http://www.example.org/map.xtm
let $o as ontology := file:///tmp/tempura.atm
let $q as query    := tm:///trafos/q1

it is also possible to create ad-hoc objects

let $o as ontology := forall [ $d is-a duck ] 
                         => exists [ (is-relative)
                                     relative1: donald-duck
                                     relative2: $d ]

there are operators + and * to build expressions

....return
$q * ($m + $o)