]> <_rbaselab> carlo-rules <_rlab ruleID="r1" ruletype="defeasiblerule"> r1 <_head> <_opr> acceptable <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_rlab ruleID="r2" ruletype="defeasiblerule" superior="r1"> r2 <_head> <_opr> acceptable <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:bedrooms"> <_and> y <_function_call name="<"> y 2 <_rlab ruleID="r3" ruletype="defeasiblerule" superior="r1"> r3 <_head> <_opr> acceptable <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:size"> <_and> y <_function_call name="<"> y 45 <_rlab ruleID="r4" ruletype="defeasiblerule" superior="r1"> r4 <_head> <_opr> acceptable <_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> acceptable <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:lift"> "no" <_slot name="carlo:floor"> <_and> y <_function_call name=">"> y 2 <_rlab ruleID="r6" ruletype="defeasiblerule" superior="r1"> r6 <_head> <_opr> acceptable <_slot name="apartment"> x <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:price"> <_and> y <_function_call name=">"> y 400 <_rlab ruleID="r7" ruletype="defeasiblerule"> r7 <_head> <_function_call name="bind"> a <_function_call name="+"> 300 <_function_call name="*"> 2 z <_function_call name="*"> 5 <_function_call name="-"> y 45 <_opr> offer <_slot name="apartment"> x <_slot name="amount"> a <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:size"> <_and> y <_function_call name=">="> y 45 <_slot name="carlo:gardenSize"> z <_slot name="carlo:central"> "yes" <_rlab ruleID="r8" ruletype="defeasiblerule"> r8 <_head> <_function_call name="bind"> a <_function_call name="+"> 250 <_function_call name="*"> 2 z <_function_call name="*"> 5 <_function_call name="-"> y 45 <_opr> offer <_slot name="apartment"> x <_slot name="amount"> a <_body> <_opr> <_slot name="carlo:name"> x <_slot name="carlo:size"> <_and> y <_function_call name=">="> y 45 <_slot name="carlo:gardenSize"> z <_slot name="carlo:central"> "no" <_rlab ruleID="r9" ruletype="defeasiblerule" superior="r1"> r9 <_head> <_opr> acceptable <_slot name="apartment"> x <_body> <_opr> offer <_slot name="apartment"> x <_slot name="amount"> y <_opr> <_slot name="carlo:name"> x <_slot name="carlo:price"> <_and> z <_function_call name="<"> y z <_rlab ruleID="find_cheapest" ruletype="defeasiblerule"> find_cheapest <_head> <_opr> cheapest <_slot name="apartment"> x <_body> <_opr> acceptable <_slot name="apartment"> x <_opr> <_slot name="carlo:name"> x <_slot name="carlo:price"> z <_opr> acceptable <_slot name="apartment"> <_and> y <_not> x <_opr> <_slot name="carlo:name"> y <_slot name="carlo:price"> <_and> w <_function_call name="<"> w z <_rlab ruleID="find_largest" ruletype="defeasiblerule"> find_largest <_head> <_opr> largest <_slot name="apartment"> x <_body> <_opr> acceptable <_slot name="apartment"> x <_opr> <_slot name="carlo:name"> x <_slot name="carlo:size"> z <_opr> acceptable <_slot name="apartment"> <_and> y <_not> x <_opr> <_slot name="carlo:name"> y <_slot name="carlo:size"> <_and> w <_function_call name=">"> w z <_rlab ruleID="find_largestGarden" ruletype="defeasiblerule"> find_largestGarden <_head> <_opr> largestGarden <_slot name="apartment"> x <_body> <_opr> acceptable <_slot name="apartment"> x <_opr> <_slot name="carlo:name"> x <_slot name="carlo:gardenSize"> z <_opr> acceptable <_slot name="apartment"> <_and> y <_not> x <_opr> <_slot name="carlo:name"> y <_slot name="carlo:gardenSize"> <_and> w <_function_call name=">"> w z <_rlab ruleID="r10" ruletype="defeasiblerule"> r10 <_head> <_opr> rent <_slot name="apartment"> x <_body> <_opr> cheapest <_slot name="apartment"> x <_rlab ruleID="r11" ruletype="defeasiblerule" superior="r10"> r11 <_head> <_opr> rent <_slot name="apartment"> x <_body> <_opr> cheapest <_slot name="apartment"> x <_opr> largestGarden <_slot name="apartment"> x <_rlab ruleID="r12" ruletype="defeasiblerule" superior="r10 r11"> r12 <_head> <_opr> rent <_slot name="apartment"> x <_body> <_opr> cheapest <_slot name="apartment"> x <_opr> largestGarden <_slot name="apartment"> x <_opr> largest <_slot name="apartment"> x <_crlab> cr1