WFF c= bool [:NAT,NAT:]