Assertion list
floor (aspect of tent ) → CapableOf
Results from Ascent++: 1
floor → CapableOf → remain dry 0.65