path: root/test-files/mds-kbdc/make-tree/valid/assumption-filled

assumption
  have " "
  have <dead compose>
  have_chars ",."
  have_range "0" "9"
end assumption

# (assumption (@ 1 0-10)
#   (.inner
#     (have (@ 2 2-6)
#       (.data
#         (string (@ 2 7-10) ‘" "’)
#       )
#     )
#     (have (@ 3 2-6)
#       (.data
#         (keys (@ 3 7-21) ‘<dead compose>’)
#       )
#     )
#     (have_chars (@ 4 2-12) ‘",."’)
#     (have_range (@ 5 2-12) ‘"0"’ ‘"9"’)
#   )
# )