F
O
L
_
A
xiomatic
FOL_Axiomatic
FOL_Axiomatic_Variant