bike | (bike (frame ---) (wheel ---) (wheel ---) (brake ---) (lock ---)) | A description of a single bike |
bikes | (bikes (bike ---) ---) | A description of a number of bikes in terms
of a number of bike clauses |
brake | (brake (quote kind) K (quote brand) B) | A description of a bike's brake |
frame | (frame (quote frame-number) N) | A description of the frame of a bike |
lock | (lock (quote brand) B (quote insurance-approved) bool-value) | A description of a bike's lock |
wheel | (wheel (quote size) N (quote tube-kind) K) | A description of a bike's wheel |