5 2 20

if then in pf
- funnels using pf in cawmp

functionalism state machine

functionalism
- type statement for each predicate
- functions within functions with arguments in order (x use current flp with particular function and arguments used at certain positions)
- would run cawmp anyway with type statement to check fn'ism
	- pf uses things like type statements, but checks for conjunctive and functional predicates' properties before funnelling and trying rules