[ ScanAdj
    [ Just
        ( Word "universal" )
    ]
    ( Marker "universal_set" )
]