gets the proposition attribute . concode_field_sep List<KrmsAction> falseActions concode_elem_sep List<KrmsAction> trueActions concode_elem_sep KrmsProposition proposition concode_elem_sep String name concode_elem_sep OleProposition compoundProposition concode_field_sep void setName concode_elem_sep OleProposition getCompoundProposition concode_elem_sep String getName concode_elem_sep void setCompoundProposition concode_elem_sep List<KrmsAction> getTrueActions concode_elem_sep void setFalseActions concode_elem_sep void setProposition concode_elem_sep void setTrueActions concode_elem_sep List<KrmsAction> getFalseActions
KrmsProposition function ( ) { return proposition ; }