Rules Learned by FOCL
Head :- Coperationalize & Cinductive
Head :- Cinductive & Coperationalize & Cinductive
min_inv(?A 3) & neg_imp(?A 0)
min_inv(?A 2) & barrier(?A 0) & fiscal(?A 0) & issunite(?A B) & not(?B>=2)
min_inv(?A 1) & barrier(?A 1) & neg_imp(?A 0)
min_inv(?A 2) & barrier(?A 1) & gatt_tht(?A 1) &
issunite(?A B) & not(?B>=1)
min_inv(?A 1) & barrier(?A 0) & not(?mature(?A 1)) &
target(?A 0) & neg_imp(?A 0) & opp_us(?A B) & not(?B>=1)
min_inv(?A 2) & gatt_tht(?A 1) & neg_imp(?A 1)