change_first_logic_predica convert infirst logic predica facts to fopl engineering mca bca predicate logic logic ai föpl
Tout plus