for A being Element of PL-WFF
for F being Subset of PL-WFF st ( A is axpl1 or A is axpl2 or A is axpl3 ) holds
F |= A