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 |