[ ScanFunctionSymbol ( TokenCons ParenL ( HoleCons ( TokenCons ( Symbol "," ) ( HoleCons ( TokenCons ParenR End ) ) ) ) ) ( Marker "example_pair" ) , ScanFunctionSymbol ( TokenCons ( Command "apply" ) ( TokenCons InvisibleBraceL ( HoleCons ( TokenCons InvisibleBraceR ( TokenCons InvisibleBraceL ( HoleCons ( TokenCons InvisibleBraceR End ) ) ) ) ) ) ) ( Marker "apply" ) , ScanFunctionSymbol ( TokenCons ( Command "dom" ) ( TokenCons InvisibleBraceL ( HoleCons ( TokenCons InvisibleBraceR End ) ) ) ) ( Marker "dom" ) , ScanAdj [ Just ( Word "right-unique" ) ] ( Marker "rightunique" ) , ScanNoun [ Just ( Word "relation" ) ] ( Marker "relation" ) ]