feature AtomFact in
Fact seperate proposition DONE