type(beam1, cantilever_beam).
tipDeflection_m(beam1, 0.00390625).
tipDeflection_mm(beam1, 3.90625).
limit_mm(beam1, 5.0).
status(beam1, within_deflection_limit).