[ SynNone :< SimpleF ( SimpleBoolean True )
, SynNone :< SimpleF ( SimpleBoolean True )
, SynNone :< SimpleF ( SimpleBoolean False )
, SynNone :< SimpleF ( SimpleBoolean False )
]