]> <_rbaselab> carlo-rules <_crlab> cr1 <_rlab ruleID="r1" ruletype="defeasiblerule"> r1 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_rlab ruleID="r2" ruletype="defeasiblerule" superior="r1"> r2 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:bedrooms"> <_and> y y 2 <_rlab ruleID="r3" ruletype="defeasiblerule" superior="r1"> r3 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:size"> <_and> y y 45 <_rlab ruleID="r4" ruletype="defeasiblerule" superior="r1"> r4 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:pets"> "no" <_rlab ruleID="r5" ruletype="defeasiblerule" superior="r1"> r5 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:lift"> "no" <_slot name="carlo:floor"> <_and> y y 2 <_rlab ruleID="r6" ruletype="defeasiblerule" superior="r1"> r6 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:price"> <_and> y y 400 <_rlab ruleID="r7" ruletype="defeasiblerule"> r7 <_head> a 300 2 z 5 y 45 <_opr> <_slot name="apartment"> x <_slot name="amount"> a <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:size"> <_and> y y 45 <_slot name="carlo:gardenSize"> z <_slot name="carlo:central"> "yes" <_rlab ruleID="r8" ruletype="defeasiblerule"> r8 <_head> a 250 2 z 5 y 45 <_opr> <_slot name="apartment"> x <_slot name="amount"> a <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:size"> <_and> y y 45 <_slot name="carlo:gardenSize"> z <_slot name="carlo:central"> "no" <_rlab ruleID="r9" ruletype="defeasiblerule" superior="r1"> r9 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="apartment"> x <_slot name="amount"> y <_opr> <_slot name="carlo:name"> x <_slot name="carlo:price"> <_and> z y z <_rlab ruleID="find_cheapest" ruletype="defeasiblerule"> find_cheapest <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="apartment"> x <_opr> <_slot name="carlo:name"> x <_slot name="carlo:price"> z <_opr> <_slot name="apartment"> <_and> y <_not> x <_opr> <_slot name="carlo:name"> y <_slot name="carlo:price"> <_and> w w z <_rlab ruleID="find_largest" ruletype="defeasiblerule"> find_largest <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="apartment"> x <_opr> <_slot name="carlo:name"> x <_slot name="carlo:size"> z <_opr> <_slot name="apartment"> <_and> y <_not> x <_opr> <_slot name="carlo:name"> y <_slot name="carlo:size"> <_and> w w z <_rlab ruleID="find_largestGarden" ruletype="defeasiblerule"> find_largestGarden <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="apartment"> x <_opr> <_slot name="carlo:name"> x <_slot name="carlo:gardenSize"> z <_opr> <_slot name="apartment"> <_and> y <_not> x <_opr> <_slot name="carlo:name"> y <_slot name="carlo:gardenSize"> <_and> w w z <_rlab ruleID="r10" ruletype="defeasiblerule"> r10 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="apartment"> x <_rlab ruleID="r11" ruletype="defeasiblerule" superior="r10"> r11 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="apartment"> x <_opr> <_slot name="apartment"> x <_rlab ruleID="r12" ruletype="defeasiblerule" superior="r10 r11"> r12 <_head> <_opr> <_slot name="apartment"> x <_body> <_opr> <_slot name="apartment"> x <_opr> <_slot name="apartment"> x <_opr> <_slot name="apartment"> x