(ast
   "bikes"
   ((ast
      "bike"
      ((ast "frame" () (frame-number "IQ7W36-56") single bike-management)
         #t
         (ast "wheel" () (size "25" tube-kind "standard") single bike-management)
         #t
         (ast "wheel" () (size "25" tube-kind "standard") single bike-management)
         #t
         (ast "brake" () (kind "hand" brand "shimano") single bike-management)
         #t
         (ast
            "lock"
            ()
            (brand "basta" insurance-approved "false")
            single
            bike-management))
      ()
      double
      bike-management)
      #t
      (ast
         "bike"
         ((ast "frame" () (frame-number "IQ98T33-00") single bike-management)
            #t
            (ast
               "wheel"
               ()
               (size "22" tube-kind "standard")
               single
               bike-management)
            #t
            (ast
               "wheel"
               ()
               (size "23" tube-kind "standard")
               single
               bike-management)
            #t
            (ast "brake" () (kind "foot" brand "shimano") single bike-management)
            #t
            (ast "brake" () (kind "hand" brand "shimano") single bike-management)
            #t
            (ast
               "lock"
               ()
               (brand "basta" insurance-approved "true")
               single
               bike-management))
         ()
         double
         bike-management))
   ()
   double
   bike-management)