spec-fol.het revision faddf5a6227f557f6da3b1c4a13f9fe82b1ef053
logic FOL
spec SP =
c : i.
p : i -> o.
. p c
end