public_clause(moose(bertha)).
private_clause(moose / 1).
asserted_clause(true).