Find!
ba1=bl1 is a non-big boat for carrying bl2, propelled by bl3, in property/dimension(s) ba3 (ka) as compared with standard/norm ba3.
ยง12.11 (cll 1.1).