User:Philogo/Subpage 2


 * Atomic sentence
 * Atomic formula