Atomic sentences
		Atomic sentence =   predicate (term1,...,termn)        or term1 = term2 Term               =   function (term1,...,termn)        or constant or variable E.g., n Brother(KingJohn,RichardTheLionheart) n Length(LeftLegOf(Richard)) = Length(LeftLegOf(KingJohn))